×

Implicative orthoposets. (English) Zbl 0742.03026

Universal and applied algebra, Proc. 5th Symp., Turawa/Pol. 1988, 99-106 (1989).
[For the entire collection see Zbl 0733.00008.]
The authors’ aim is to develop a theory of implication on orthomodular posets. They define so-called orthoimplications that enjoy two fundamental properties of implications in orthomodular lattices.

MSC:

03G12 Quantum logic
06C15 Complemented lattices, orthocomplemented lattices and posets

Citations:

Zbl 0733.00008
PDFBibTeX XMLCite