Boolean connection algebras: A new approach to the Region-Connection Calculus

Artificial Intelligence 122 (1-2):111-136 (2000)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0004-3702(00)00045-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,122

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

A Proximity Approach to Some Region-Based Theories of Space.Dimiter Vakarelov, Georgi Dimov, Ivo Düntsch & Brandon Bennett - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):527-559.
Algebra pojęć deontycznych.Edward Nieznański - 2008 - Roczniki Filozoficzne 56 (1):231-259.
Free Boolean algebras and nowhere dense ultrafilters.Aleksander Błaszczyk - 2004 - Annals of Pure and Applied Logic 126 (1-3):287-292.
Some Open Questions for Superatomic Boolean Algebras.Juan Carlos Martínez - 2005 - Notre Dame Journal of Formal Logic 46 (3):353-356.
Boolean algebras arising from information systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.
Moderate families in Boolean algebras.Lutz Heindorf - 1992 - Annals of Pure and Applied Logic 57 (3):217-250.
Q-ultrafilters and normal ultrafilters in b-algebras.Bronis?aw Tembrowski - 1986 - Studia Logica 45 (2):167 - 179.
Averaging the truth-value in łukasiewicz logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.
On the Homogeneous Countable Boolean Contact Algebra.Ivo Düntsch & Sanjiang Li - 2013 - Logic and Logical Philosophy 22 (2):213-251.
Finite Diagonal-free Two-dimensional Cylindric Algebras.Marttín Figallo - 2004 - Logic Journal of the IGPL 12 (6):509-523.
Boolean products of R0-algebras.Xiangnan Zhou & Qingguo Li - 2010 - Mathematical Logic Quarterly 56 (3):289-298.
Qb And Normal Algebras.Bronislaw Tembrowski - 1985 - Bulletin of the Section of Logic 14 (1):41-45.
σ-short Boolean algebras.Makoto Takahashi & Yasuo Yoshinobu - 2003 - Mathematical Logic Quarterly 49 (6):543-549.
Relational proof systems for spatial reasoning.Joanna Golińska-Pilarek & Ewa Orlowska - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):409-431.
The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.

Analytics

Added to PP
2020-12-22

Downloads
10 (#1,097,540)

6 months
7 (#285,926)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A Calculus of Regions Respecting Both Measure and Topology.Tamar Lando & Dana Scott - 2019 - Journal of Philosophical Logic 48 (5):825-850.

View all 26 citations / Add more citations

References found in this work

Mereotopology: A theory of parts and boundaries.Barry Smith - 1996 - Data and Knowledge Engineering 20 (3):287–303.
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.

View all 12 references / Add more references