Geodesic
The axioms for implication in orthologic
Czechoslovak Mathematical Journal, Tome 58 (2008) no. 1, pp. 15-21

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

MR Zbl
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.
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.
Classification : 03G12, 03G25, 06C15
Keywords: ortholattice; orthoimplication; orthologic 
Chajda, Ivan. The axioms for implication in orthologic. Czechoslovak Mathematical Journal, Tome 58 (2008) no. 1, pp. 15-21. http://geodesic.mathdoc.fr/item/CMJ_2008_58_1_a1/
@article{CMJ_2008_58_1_a1,
     author = {Chajda, Ivan},
     title = {The axioms for implication in orthologic},
     journal = {Czechoslovak Mathematical Journal},
     pages = {15--21},
     year = {2008},
     volume = {58},
     number = {1},
     mrnumber = {2402523},
     zbl = {1174.06310},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMJ_2008_58_1_a1/}
}
TY  - JOUR
AU  - Chajda, Ivan
TI  - The axioms for implication in orthologic
JO  - Czechoslovak Mathematical Journal
PY  - 2008
SP  - 15
EP  - 21
VL  - 58
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMJ_2008_58_1_a1/
LA  - en
ID  - CMJ_2008_58_1_a1
ER  - 
%0 Journal Article
%A Chajda, Ivan
%T The axioms for implication in orthologic
%J Czechoslovak Mathematical Journal
%D 2008
%P 15-21
%V 58
%N 1
%U http://geodesic.mathdoc.fr/item/CMJ_2008_58_1_a1/
%G en
%F CMJ_2008_58_1_a1

[1] J. C. Abbott: Semi-boolean algebra. Matematički Vesnik 4 (1967), 177–198. | MR | Zbl

[2] J. C. Abbott: Orthoimplication algebras. Studia Logica 35 (1976), 173–177. | DOI | MR | Zbl

[3] I. Chajda, R. Halaš and H. Länger: Orthomodular implication algebras. Intern. J. of Theor. Phys. 40 (2001), 1875–1884. | DOI | MR

[4] I. Chajda, R. Halaš and H. Länger: Simple axioms for orthomodular implication algebras. Intern. J. of Theor. Phys. 43 (2004), 911–914. | DOI | MR

[5] I. Chajda, G. Eigenthaler and H. Länger: Congruence Classes in Universal Algebra. Heldermann Verlag, 2003. | MR

[6] B. Jónsson: Algebras whose congruence lattices are distributive. Math. Scand. 21 (1967), 110–121. | DOI | MR

[7] G. Kalmbach: Orthomodular Lattices. Academic Press, London, 1983. | MR | Zbl