Abstract
In this paper, we propose a sentential logic naturally associated, in the sense of Abstract Algebraic Logic, with the variety of distributive nearlattices. We show that the class of algebras canonically associated (in the sense of Abstract Algebraic Logic) with this logic is the variety of distributive nearlattices. We also present several properties of this sentential logic.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Abbott JC (1967) Semi-boolean algebra. Matematički Vesnik 4(40):177–198
Abbott JC (1976) Orthoimplication algebras. Stud Logica 35(2):173–177
Araújo J, Kinyon M (2011) Independent axiom systems for nearlattices. Czech Math J 61(4):975–992
Blok WJ, Pigozzi D (1989) Algebraizable logics. 396. Memoirs of the American Mathematical Society
Calomino I (2015) Supremo álgebra distributivas: una generalización de las álgebras de tarski. Ph.D. thesis, Universidad Nacional del Sur
Celani S, Calomino I (2014) Stone style duality for distributive nearlattices. Algebra Universalis 71(2):127–153
Celani S, Calomino I (2016) On homomorphic images and the free distributive lattice extension of a distributive nearlattice. Rep Math Log 51:57–73
Chajda I, Halaš R (2005) An implication in orthologic. Int J Theoret Phys 44(7):735–744
Chajda I, Halaš R, Kühr J (2007) Semilattice structures, vol 30. Heldermann, Lemgo
Chajda I, Halas R, Länger H (2001) Orthomodular implication algebras. Int J Theoret Phys 40(11):1875–1884
Chajda I, Kolařík M (2008) Nearlattices. Discrete Math 308(21):4906–4913
Cornish W, Hickman RC (1978) Weakly distributive semilattices. Acta Mathematica Hungarica 32(1):5–16
Czelakowski J (2001) Protoalgebraic logics. Kluwer Academic Publishers, Dordrecht
Davey BA, Priestley HA (2002) Introduction to lattices and order. Cambridge University Press, Cambridge
Font JM, Jansana R (2009) A general algebraic semantics for sentential logics, Lecture Notes in Logic, vol. 7, 2 edn. The Association for Symbolic Logic
Font JM, Jansana R, Pigozzi D (2003) A survey of abstract algebraic logic. Stud Logica 74(1–2):13–97
Font JM, Verdú V (1991) Algebraic logic for classical conjunction and disjunction. Stud Logica 50(3–4):391–419
Hickman R (1980) Join algebras. Commun Algebra 8(17):1653–1685
Monteiro A (1980) Sur les algèbres de heyting symétriques. Portugaliae Mathematica 39(1–4):1–237
Rebagliato J, Verdú V (1993) On the algebraization of some gentzen systems. Fundam Inform 18:319–338
Rebagliato J, Verdú V (1995) Algebraizable gentzen systems and the deduction theorem for gentzen systems. Mathematics Preprint Series 175
Acknowledgements
I greatly appreciate the comments and suggestions of the referees that helped to improve the paper. This paper was partially supported by Universidad Nacional de La Pampa (Fac. de Cs. Exactas y Naturales) under the Grant P.I. 64 M, Res. No. 432/14 CD and also by CONICET (Argentina) under the Grant PIP 112-20150-100412CO.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The author declares that there is no conflict of interests regarding the publishing of this paper.
Additional information
Communicated by A. Di Nola.
Rights and permissions
About this article
Cite this article
González, L.J. The logic of distributive nearlattices. Soft Comput 22, 2797–2807 (2018). https://doi.org/10.1007/s00500-017-2750-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-017-2750-0