Stonian p-ortholattices: A new approach to the mereotopology RT 0

, &
Artificial Intelligence 173 (15):1424-1440 (2009)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2009.07.001

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,410

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Nearly orthosymmetric ortholattices and hilbert spaces.R. Mayet & S. Pulmannová - 1994 - Foundations of Physics 24 (10):1425-1437.
Basic Problems of Mereotopology.Achille C. Varzi - 1998 - In Nicola Guarino (ed.), Formal Ontology in Information Systems. Ios Press. pp. 29–38.
The Varieties Defined by P - compatible Identities of Modular Ortholattices.Krystyna Mruczek-Nasieniewska - 2010 - Studia Logica 95 (1-2):21 - 35.
A modal approach to dynamic ontology: modal mereotopology.Dimiter Vakarelov - 2008 - Logic and Logical Philosophy 17 (1-2):163-183.
CODI: A multidimensional theory of mereotopology with closure operations.Torsten Hahmann - 2020 - Applied ontology 15 (3):251-311.
The Varieties Defined by P-compatible Identities of Modular Ortholattices.Krystyna Mruczek-Nasieniewska - 2010 - Studia Logica 95 (1-2):21-35.
Complementation in Representable Theories of Region-Based Space.Torsten Hahmann & Michael Grüninger - 2013 - Notre Dame Journal of Formal Logic 54 (2):177-214.
Inconsistent boundaries.Zach Weber & A. J. Cotnoir - 2015 - Synthese 192 (5):1267-1294.
A Necessary Relation Algebra for Mereotopology.Michael Winter, Gunther Schmidt & Ivo DÜntsch - 2001 - Studia Logica 69 (3):381-409.
The Super-amalgamation Property Of The Variety Of Ortholattices.Yutaka Miyazaki - 1999 - Reports on Mathematical Logic:45-63.
Functorial duality for ortholattices and de Morgan lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
The Category of Mereotopology and Its Ontological Consequences.Saikeerthi Rachavelpula - 2017 - University of Chicago Mathematics Research Program 2017.
Layers: A New Approach to Locating Objects in Space.Maureen Donnelly & Barry Smith - 2003 - In W. Kuhn M. F. Worboys & S. Timpf (eds.), Spatial Information Theory: Foundations of Geographic Informa­tion Science. Springer. pp. 50-65.
Orthospaces and quantum logic.J. L. Bell - 1985 - Foundations of Physics 15 (12):1179-1202.
Quantum mereotopology.Barry Smith & Berit O. Brogaard - 2002 - Annals of Mathematics and Artificial Intelligence 36 (1):153-175.

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,144,374)

6 months
7 (#441,767)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

A calculus of individuals based on "connection".Bowman L. Clarke - 1981 - Notre Dame Journal of Formal Logic 22 (3):204-218.
Region-based topology.Peter Roeper - 1997 - Journal of Philosophical Logic 26 (3):251-309.
Point, line, and surface, as sets of solids.Theodore de Laguna - 1922 - Journal of Philosophy 19 (17):449-461.
Individuals and points.Bowman L. Clark - 1985 - Notre Dame Journal of Formal Logic 26 (1):61-75.

View all 10 references / Add more references