Simple axioms for orthomodular implication algebras

International Journal of Theoretical Physics

Volumn 43, Issue 4, 2004, Pages 911-914

  Chajda, Ivan ^a   Halaš, Radomír ^a   Länger, Helmut ^b  

^a PALACKÝ UNIVERSITY   (Czech Republic)

^b INSTITUT FÜR DISKRETE MATHEMATIK UND GEOMETRIE   (Austria)

Author keywords

Implication algebra; Independent axioms; Orthoimplication algebra; Ortholattice; Orthomodular implication algebra

Indexed keywords

EID: 24144471031     PISSN: 00207748     EISSN: None     Source Type: Journal    
DOI: 10.1023/B:IJTP.0000048587.50827.93     Document Type: Article

References (3)

1. Abbott, J. C. (1967). Semi-boolean algebra. Matematički Vesnik 4, 177-198.
2. Abbott, J. C. (1976). Orthoimplication algebras. Studia Logica 35, 173-177.
3. Chajda, I., Halaš, R., and Länger, H. (2001). Orthomodular implication algebras. International Journal of Theoretical Physics 40, 1875-1884.