A Necessary Relation Algebra for Mereotopology
Studia Logica 69 (3):381-409 (2001)
| Abstract | The standard model for mereotopological structures are Boolean subalgebras of the complete Boolean algebra of regular closed subsets of a nonempty connected regular T0 topological space with an additional "contact relation" C defined by xCy ? x n ? Ã | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesIvo D.[Uuml ]Ntsch, Gunther Schmidt & Michael Winter (2001). A Necessary Relation Algebra for Mereotopology. Studia Logica 69 (3):381-409.
Ivo DÜntsch, Gunther Schmidt & Michael Winter (2001). A Necessary Relation Algebra for Mereotopology. Studia Logica 69 (3):381 - 409.
James Cummings & Saharon Shelah (1995). A Model in Which Every Boolean Algebra has Many Subalgebras. Journal of Symbolic Logic 60 (3):992-1004.
Isabella Cornelia Burger & Johannes Heidema (2002). Merging Inference and Conjecture by Information. Synthese 131 (2):223 - 258.
Jeffrey Bub (1991). The Problem of Properties in Quantum Mechanics. Topoi 10 (1):27-34.
David Miller (2009). A Refined Geometry of Logic. Principia 13 (3):339-356.
S. N. Furs (1987). Computation of Aristotle's and Gergonne's Syllogisms. Studia Logica 46 (3):209 - 225.
Robert Bonnet & Matatyahu Rubin (1991). Elementary Embedding Between Countable Boolean Algebras. Journal of Symbolic Logic 56 (4):1212-1229.
Ian Pratt-Hartmann & Dominik Schoop (2002). Elementary Polyhedral Mereotopology. Journal of Philosophical Logic 31 (5):469-498.
Robert Bonnet & Matatyahu Rubin (2002). On Essentially Low, Canonically Well-Generated Boolean Algebras. Journal of Symbolic Logic 67 (1):369-396.
Sakaé Fuchino (1994). Some Remarks on Openly Generated Boolean Algebras. Journal of Symbolic Logic 59 (1):302-310.
Aleksander Blaszczyk & Saharon Shelah (2001). Regular Subalgebras of Complete Boolean Algebras. Journal of Symbolic Logic 66 (2):792-800.
Luiz Monteiro, Sonia Savini & Julio Sewald (1991). Construction of Monadic Three-Valued Łukasiewicz Algebras. Studia Logica 50 (3-4):473 - 483.
Ian Pratt & Dominik Schoop (1998). A Complete Axiom System for Polygonal Mereotopology of the Real Plane. Journal of Philosophical Logic 27 (6):621-658.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-29Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
