Biacino, Loredana; Gerla, Giangiacomo Connection structures. (English) Zbl 0749.06004 Notre Dame J. Formal Logic 32, No. 2, 242-247 (1991). The authors investigate a calculus of individuals based on a primitive notion of connectedness. They show that their system of axioms leads to complete orthocomplemented lattices whereas the extension of their system to the Clarke system leads to complete atomless Boolean algebras [see also B. Clarke, ibid. 26, 61-75 (1985; Zbl 0597.03005)]. Reviewer: P.Pták (Praha) Cited in 15 Documents MSC: 06C15 Complemented lattices, orthocomplemented lattices and posets 03G05 Logical aspects of Boolean algebras 03G12 Quantum logic Keywords:calculus of individuals; connectedness; complete orthocomplemented lattices; Clarke system; complete atomless Boolean algebras Citations:Zbl 0597.03005 PDFBibTeX XMLCite \textit{L. Biacino} and \textit{G. Gerla}, Notre Dame J. Formal Logic 32, No. 2, 242--247 (1991; Zbl 0749.06004) Full Text: DOI