Navara, Mirko; Pták, Pavel Enlargements of logics (\(\sigma\)-orthocomplete case). (English) Zbl 0715.06009 Topology and measure V, Proc. 5th Conf., Binz/GDR 1987, Wiss. Beitr. Ernst-Moritz-Arndt-Univ. Greifswald, 109-115 (1988). Reviewer: M.Roddy MSC: 06C15 03G12 81P10 46E27 PDFBibTeX XML
Binder, Jiří; Navara, Mirko Quantum logics with lattice state spaces. (English) Zbl 0624.06009 Proc. Am. Math. Soc. 100, 688-693 (1987). Reviewer: P.Pták MSC: 06C15 46L30 81P10 46E27 81P20 PDFBibTeX XMLCite \textit{J. Binder} and \textit{M. Navara}, Proc. Am. Math. Soc. 100, 688--693 (1987; Zbl 0624.06009) Full Text: DOI