Model-Theoretic Analysis of Asher and Vieu's Mereotopology
In the past little work has been done to characterize the models of various mereotopological systems. This thesis focuses on Asher and Vieu's first-order mereotopology which evolved from Clarke's Calculus of Individuals. Its soundness and completeness proofs with respect to a topological t...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Others |
| Language: | en_ca |
| Published: |
2008
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1807/10432 |