Simple axioms for orthomodular implication algebras (Q1768659)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simple axioms for orthomodular implication algebras |
scientific article |
Statements
Simple axioms for orthomodular implication algebras (English)
0 references
15 March 2005
0 references
The authors improve their axiomatic system for an orthomodular implication algebra [\textit{I. Chajda, R. Halaš} and \textit{H. Länger}, ``Orthomodular implication algebras'', Int. J. Theor. Phys. 40, 1875--1884 (2001; Zbl 0992.06008)]. The new system has less axioms, the most complex one is simplified, and the independence of the new axioms is proved.
0 references
implication algebra
0 references
orthoimplication algebra
0 references
orthomodular implication algebra
0 references
independent axioms
0 references
ortholattice
0 references
