Connection Structures

@article{Biacino1991ConnectionS,
  title={Connection Structures},
  author={L. Biacino and Giangiacomo Gerla},
  journal={Notre Dame J. Formal Log.},
  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… Expand
49 Citations
Boolean connection algebras: A new approach to the Region-Connection Calculus
  • J. Stell
  • Computer Science, Mathematics
  • Artif. Intell.
  • 2000
  • 124
  • PDF
A Necessary Relation Algebra for Mereotopology
  • 34
  • Highly Influenced
  • PDF
Full Development of Tarski's Geometry of Solids
  • 24
A Complete Axiom System for Polygonal Mereotopology of the Real Plane
  • 75
  • PDF
A representation theorem for Boolean contact algebras
  • 107
  • PDF
Stonian p-ortholattices: A new approach to the mereotopology RT0
  • 19
  • Highly Influenced
  • PDF
A Proximity Approach to Some Region-Based Theories of Space
  • 76
  • PDF
Model-Theoretic Characterization of Asher and Vieu's Ontology of Mereotopology
  • 2
  • Highly Influenced
  • PDF
Complementation in Representable Theories of Region-Based Space
  • 2
  • PDF
A relation - algebraic approach to the region connection calculus
  • 107
  • Highly Influenced
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-8 OF 8 REFERENCES
The Calculus of Individuals and Its Uses
  • 421
A calculus of individuals based on "connection"
  • B. L. Clarke
  • Philosophy, Computer Science
  • Notre Dame J. Formal Log.
  • 1981
  • 420
Logic of Quantum Mechanics
  • 784
Individuals and points
  • 138
Lectures on Boolean Algebras
  • 455
Process and Reality, The Macmillan Co., New York, 1929
  • Dipartimento di Matematica ed Applicazioni Via Mezzocannone
  • 1929
Dipartimento di Matematica ed Applicazioni Via Mezzocannone
  • Dipartimento di Matematica ed Applicazioni Via Mezzocannone
Finally, the definition of point and axiom A5 give rise to some difficulties
  • Finally, the definition of point and axiom A5 give rise to some difficulties