Connection structures (Q1183718)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Connection structures |
scientific article; zbMATH DE number 33581
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Connection structures |
scientific article; zbMATH DE number 33581 |
Statements
Connection structures (English)
0 references
28 June 1992
0 references
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 \textit{B. Clarke}, ibid. 26, 61-75 (1985; Zbl 0597.03005)].
0 references
calculus of individuals
0 references
connectedness
0 references
complete orthocomplemented lattices
0 references
Clarke system
0 references
complete atomless Boolean algebras
0 references
