Abstract
We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C. Abbott for a logic derived by an orthomodular lattice.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
J. C. Abbott: Semi-boolean algebra. Matematički Vesnik 4 (1967), 177–198.
J. C. Abbott: Orthoimplication algebras. Studia Logica 35 (1976), 173–177.
I. Chajda, R. Halaš and H. Länger: Orthomodular implication algebras. Intern. J. of Theor. Phys. 40 (2001), 1875–1884.
I. Chajda, R. Halaš and H. Länger: Simple axioms for orthomodular implication algebras. Intern. J. of Theor. Phys. 43 (2004), 911–914.
I. Chajda, G. Eigenthaler and H. Länger: Congruence Classes in Universal Algebra. Heldermann Verlag, 2003.
B. Jónsson: Algebras whose congruence lattices are distributive. Math. Scand. 21 (1967), 110–121.
G. Kalmbach: Orthomodular Lattices. Academic Press, London, 1983.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work is supported by the Research Project MSM 6198959214 by Czech Goverment.
Rights and permissions
About this article
Cite this article
Chajda, I. The axioms for implication in orthologic. Czech Math J 58, 15–21 (2008). https://doi.org/10.1007/s10587-008-0002-2
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10587-008-0002-2