Connection structures

Abstract

B. L. Clarke, following a proposal of A. N. Whitehead, presents an axiomatized calculus of individuals based on a primitive predicate “x is connected with y”. In this article we show that a proper subset of Clarke’s system of axioms characterizes the complete orthocomplemented lattices, while the whole of Clarke’s system characterizes the complete atomless Boolean algebras. © 1991, Duke University Press. All Rights Reserved.