A Necessary Relation Algebra for Mereotopology

Studia Logica 69 (3):381-409 (2001)
Authors
Michael J. Winter
University of St. Thomas, Minnesota
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 mereology  mereotopology  relation algebra  qualitative spatial reasoning
Categories (categorize this paper)
DOI 10.1023/A:1013892110192
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 36,003
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Elementary Embedding Between Countable Boolean Algebras.Robert Bonnet & Matatyahu Rubin - 1991 - Journal of Symbolic Logic 56 (4):1212-1229.
Elementary Polyhedral Mereotopology.Ian Pratt-Hartmann & Dominik Schoop - 2002 - Journal of Philosophical Logic 31 (5):469-498.
Some Remarks on Openly Generated Boolean Algebras.Sakaé Fuchino - 1994 - Journal of Symbolic Logic 59 (1):302-310.

Analytics

Added to PP index
2010-08-29

Total downloads
19 ( #325,161 of 2,294,061 )

Recent downloads (6 months)
3 ( #184,523 of 2,294,061 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature