Godowski, Radosław; Traczyk, Tadeusz; Varlet, Jules 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 Keywords:orthomodular posets; orthoimplications Citations:Zbl 0733.00008 PDFBibTeX XMLCite \textit{R. Godowski} et al., in: Termal algebras --- an approach to inference on incomplete data. . 99--106 (1989; Zbl 0742.03026)