The axioms for implication in orthologic
Czechoslovak Mathematical Journal (2008)
- Volume: 58, Issue: 1, page 15-21
- ISSN: 0011-4642
Access Full Article
topAbstract
topHow to cite
topReferences
top- Semi-boolean algebra, Matematički Vesnik 4 (1967), 177–198. (1967) Zbl0153.02704MR0239957
- 10.1007/BF02120879, Studia Logica 35 (1976), 173–177. (1976) Zbl0331.02036MR0441794DOI10.1007/BF02120879
- 10.1023/A:1011933018776, Intern. J. of Theor. Phys. 40 (2001), 1875–1884. (2001) MR1860644DOI10.1023/A:1011933018776
- 10.1023/B:IJTP.0000048587.50827.93, Intern. J. of Theor. Phys. 43 (2004), 911–914. (2004) MR2106354DOI10.1023/B:IJTP.0000048587.50827.93
- Congruence Classes in Universal Algebra, Heldermann Verlag, 2003. (2003) MR1985832
- 10.7146/math.scand.a-10850, Math. Scand. 21 (1967), 110–121. (1967) MR0237402DOI10.7146/math.scand.a-10850
- Orthomodular Lattices, Academic Press, London, 1983. (1983) Zbl0528.06012MR0716496