×

Connection structures. (English) Zbl 0749.06004

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)

MSC:

06C15 Complemented lattices, orthocomplemented lattices and posets
03G05 Logical aspects of Boolean algebras
03G12 Quantum logic

Citations:

Zbl 0597.03005
PDFBibTeX XMLCite
Full Text: DOI