In the present paper, we introduce the notion of q′-compact in Łukasiewicz near semirings and we prove that if induced lattice with an antitone involution of a Łukasiewicz near semiring is a complete lattice and q′-compact, then the induced lattice is a strongly algebraically closed lattice. Also, it is shown that every Łukasiewicz near semiring is representable as a Sheffer stroke basic algebra. In the final part of the article, we prove that the variety of Sheffer stroke basic algebras is congruence regular and arithmetical.
L.P.Belluce, A.Di Nola and A.R.Ferraioli, MV-semirings and their sheaf representations, Order30 (2013), 165–179.
2.
S.Bonzio, I.Chajda and A.Ledda, Representing quantum structures as near semirings, Logic Journal of IGPL Advance Access published May24 (2016), 1–24.
3.
S.Burris and H.P.Sankappanavar, Course in universal algebra, Gordon and Breach science Pub., 1981.
4.
I.Chajda, R.Halas and J.Kuhr, Semilattice structures, Heldermann Verlag, Lemgo (Germany), 2007, p. 228, ISBN 978-3-88538-230-0.
5.
I.Chajda and P.Emanovsk, Bounded lattices with antitone involutions and properties of MV-algebras, Discussiones Mathematicae, General Algebra and Applications24 (2004), 32–42.
6.
I.Chajda, Lattices and semilattices having an antitone involution in every upper interval, Comment Math Univ Carolin44 (2003), 577–585.
7.
I.Chajda and J.Khr, Basic algebras, Clone Theory and Discrete Mathematics Algebra and Logic Related to Computer Science, 2013.
8.
I.Chajda and M.Kolark, Independence of axiom system of basic algebras, Soft Computing13 (2009), 41–43.
9.
I.Chajda, Sheffer operation in ortholattices, Acta Universitatis Palackianae Olomucensis, Facultas Rerum Naturalium Mathematica44 (2005), 19–23.
10.
I.Chajda and M.Kolark, Interval basic algebras, Novi Sad J Math39 (2009), 71–78.
11.
I.Chajda, Basic algebras, logics, trends and applications, Asian-European Journal of Mathematics8 (2015), 46.
12.
E.Daniyarova, A.Miasnikov and V.Remeslennikov, Unification theorems in algebraic geometry, Algebra and Discrete Mathematics1 (2008), 80–112.
13.
B.Gerla, Many valued logics and semirings, Neural Networks World (2003), 467–480.
14.
A.I.Malcev, On the general theory of algebraic systems, Russian Math Sb77(35) (1954), 3–20.
15.
A.Myasnikov and V.Remeslennikov, Algebraic geometry over groups II: Logical foundations, J Algebra234 (2000), 225–276.
16.
A.Molkhasi, On strrongly algebraically closed lattices, J. Sib Fed Univ Math Phys9(2) (2016), 202–208.
17.
W.McCune, R.Verof, B.Fitelson, K.Harris, A.Feist and L.Wos, Short single axioms for Boolean algebra, Journal of Automated Reasoning29 (2002), 1–16.
18.
T.Oner and I.Senturk, The Sheffer stroke operation reducts of basic algebras, Open Math15 (2017), 926–935.
19.
B.Plotkin, Algebras with the same (algebraic) geometry, Proc Steklov Inst Math242 (2003), 165–196.
20.
A.Shevlyakov, Algebraic geometry over boolean algebras in the language with constants, J Math Sciences206 (2015), 724–757.
21.
J.Schmid, Algebraically and existentially closed distributive lattices, Zeitschr Math Logik und Crztndlagen d Math Bd25 (1979), 525–530.
22.
R.Wille, Kongruenzklassengeometrien, Lecture Notes in Math113 (1970), Springer-Verlag, Berlin-New York.
