Connection structures.

Open Access
Publisher Website
Google Scholar
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. / Introduction In (2) and (3) Clarke presents an axiomatized calculus of in- dividuals based on a primitive predicate "x is connected with y". Such a calcu- lus represents a revised version of the proposal made by Whitehead in Process and Reality and is similar to the calculus proposed by Leonard and Goodman in (5). 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.

This publication has 0 references indexed in Scilit: