Connection Structures

@article{Biacino1991ConnectionS,
  title={Connection Structures},
  author={Loredana Biacino and Giangiacomo Gerla},
  journal={Notre Dame Journal of Formal Logic},
  year={1991},
  volume={32},
  pages={242-247}
}
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 individuals based on a primitive predicate "x is… CONTINUE READING
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-6 of 6 references

Individuals and points

Notre Dame Journal of Formal Logic • 1985
View 3 Excerpts

A calculus of individuals based on "connection"

Notre Dame Journal of Formal Logic • 1981
View 2 Excerpts

Lectures on Boolean Algebras

P. Halmos
1963
View 2 Excerpts

The logic of quantum mechanics

G. Birkhoff, J. von Neumann
Annals of Mathematics, vol. 37 (1936), pp. 823-843. • 1936

Process and Reality, The Macmillan Co., New York, 1929

A. Whitehead
Dipartimento di Matematica ed Applicazioni Via Mezzocannone • 1929

Similar Papers

Loading similar papers…