Abstract
Generalizing the well known and exploited relation between Heyting and Nelson algebras to semi-Heyting algebras, we introduce the variety of semi-Nelson algebras. The main tool for its study is the construction given by Vakarelov. Using it, we characterize the lattice of congruences of a semi-Nelson algebra through some of its deductive systems, use this to find the subdirectly irreducible algebras, prove that the variety is arithmetical, has equationally definable principal congruences, has the congruence extension property and describe the semisimple subvarieties.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Abad, M., Cornejo, J.M., Díaz Varela, J.P.: The variety generated by semi-Heyting chains. Soft Comput. 15(4), 721–728 (2010)
Abad, M., Cornejo, J.M., Díaz Varela, J.P.: The variety of semi-Heyting algebras satisfying the equation (0→1)∗∨(0→1)∗∗≈. Rep. Math. Logic 46, 75–90 (2011)
Abad, M., Cornejo, J.M., Díaz Varela, J.P.: Semi-Heyting algebras term-equivalent to Gödel algebras. Order 2, 625–642 (2013)
Abad, M., Cornejo, J.M., Díaz Varela, P.: Free-decomposability in varieties of semi-Heyting algebras. Math. Log. Q. 58(3), 168–176 (2012)
Blok, W.J., Köhler, P., Pigozzi, D.: On the structure of varieties with equationally definable principal congruences. II. Algebra Universalis 18(3), 334–379 (1984)
Burris, S., Sankappanavar, H.P.: A course in universal algebra. Springer-Verlag, New York (1981). volume 78 of Graduate Texts in Mathematics
Cornejo, J.M.: Semi-intuitionistic logic. Stud. Logica. 98(1-2), 9–25 (2011)
Cornejo, J.M.: The semi Heyting-Brouwer logic. Stud. Logica. 103(4), 853–875 (2015)
Cornejo, J.M., Viglizzo, I.D.: On some semi-intuitionistic logics. Stud. Logica. 103(2), 303–344 (2015)
Day, A.: A note on the congruence extension property. Algebra Universalis 1, 234–235 (1971/72)
Fried, E., Grätzer, G., Quackenbush, R.: Uniform congruence schemes. Algebra Universalis 10(2), 176–188 (1980)
Kalman, J.A.: Lattices with involution. Trans. Amer. Math. Soc. 87, 485–491 (1958)
Köhler, P., Pigozzi, D.: Varieties with equationally definable principal congruences. Algebra Universalis 11(2), 213–219 (1980)
Kracht, M.: On extensions of intermediate logics by strong negation. J. Philos. Logic 27(1), 49–73 (1998)
Nelson, D.: Constructible falsity. J. Symbolic Logic 14, 16–26 (1949)
Odintsov, S.P.: On the representation of N4-lattices. Stud. Logica. 76(3), 385–405 (2004)
Rasiowa, H.: N-lattices and constructive logic with strong negation. Fund. Math. 46, 61–80 (1958)
Rasiowa, H.: An algebraic approach to non-classical logics, vol. 78. North-Holland Publishing Co., Amsterdam (1974)
Rivieccio, U.: Implicative twist-structures. Algebra Universalis 71(2), 155–186 (2014)
Sankappanavar, H.P.: Semi-Heyting algebras: an abstraction from Heyting algebras. In: Proceedings of the 9th Dr. Antonio A. R. Monteiro Congress (Spanish), Actas Congr. Dr. Antonio A. R. Monteiro. Bahía Blanca, 2008. Univ. Nac. del Sur., pp 33–66
Sankappanavar, H.P.: Expansions of semi-Heyting algebras I: Discriminator varieties. Stud. Logica. 98(1-2), 27–81 (2011)
Sendlewski, A.: Some investigations of varieties of n-lattices. Stud. Logica. 43(3), 257–280 (1984)
Sendlewski, A.: Nelson algebras through Heyting ones. I. Stud. Logica. 49(1), 105–126 (1990)
Sholander, M.: Postulates for distributive lattices. Canadian J. Math. 3, 28–30 (1951)
Vakarelov, D.: Notes on N-lattices and constructive logic with strong negation. Stud. Logica. 36(1–2), 109–125 (1977)
Viglizzo, I. Álgebras de Nelson, Instituto De Matemática De Bahía Blanca, Universidad Nacional del Sur, 1999. Magister dissertation in Mathematics, Universidad Nacional del Sur, Bahía Blanca, available at https://sites.google.com/site/viglizzo/viglizzo99nelson (1999)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Cornejo, J.M., Viglizzo, I. Semi-Nelson Algebras. Order 35, 23–45 (2018). https://doi.org/10.1007/s11083-016-9416-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11083-016-9416-x