Quantum and classical implication algebras with primitive implications

International Journal of Theoretical Physics

Volumn 37, Issue 8, 1998, Pages 2091-2098

  Pavičić, Mladen ^a,b   Megill, Norman D ^c  

^a TU WIEN   (Austria)

^b UNIVERSITY OF ZAGREB   (Croatia)

^c NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0032331776     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1026685801864     Document Type: Article

References (8)

1. Abbott, J. C. (1976). Orthoimplication algebra, Studia Logica, 35, 173-177.
2. Clark, I. D. (1973). An axiomatisation of quantum logic. Journal of Symbolic Logic, 38, 389-392.
3. Georgacarakos, G. N. (1980). Equationally definable implication algebras for orthomodular lattices, Studia Logica, 39, 5-18.
4. Hardegree, G. M. (1981a). Quasi-implication algebras, Part I: Elementary theory, Algebra Universalis, 12, 30-47.
5. Hardegree, G. M. (1981b). Quasi-implication algebras, Part II: Structure theory, Algebra Universalis, 12, 48-65.
6. Kalmbach, G. (1983). Orthomodular Lattices, Academic Press, London.
7. Pavičić, M. (1987). Minimal quantum logic with merged implications. International Journal of Theoretical Physics, 26, 845-852.
8. Piziak, R. (1974). Orthomodular lattices as implication algebras, Journal of Philosophical Logic, 3, 413-438.