Simple axioms for orthomodular implication algebras (Q1768659)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Simple axioms for orthomodular implication algebras |
scientific article; zbMATH DE number 2146114
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simple axioms for orthomodular implication algebras |
scientific article; zbMATH DE number 2146114 |
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
0 references
0.91047454
0 references
0.8902887
0 references
0.88628614
0 references
