A calculus of regions respecting both measure and topology

DOI10.1007/S10992-018-9496-8MaRDI QIDQ2281314zbMATH OpenOpenAlexWikidataFDO

Authors Tamar Lando, Dana Scott

Publication date 19 December 2019

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10992-018-9496-8

zbMATH Keywords

regionstopologymereologymereotopologygunkpoint-free space

Mathematics Subject Classification ID

Classes of sets (Borel fields, (sigma)-rings, etc.), measurable sets, Suslin sets, analytic sets (28A05) Logic in the philosophy of science (03A10) Topological spaces and generalizations (closure spaces, etc.) (54A05)

Recommendations

• Gunk, topology and measure
• Infinitesimal gunk
• Topology and measure in logics for region-based theories of space
• Region-based topology
• Space, points and mereology. On foundations of point-free Euclidean geometry

Cites work

• scientific article; zbMATH DE number 5117074 (Why is no real title available?)
• scientific article; zbMATH DE number 5117075 (Why is no real title available?)
• scientific article; zbMATH DE number 1135526 (Why is no real title available?)
• scientific article; zbMATH DE number 749969 (Why is no real title available?)
• scientific article; zbMATH DE number 877746 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• A calculus of individuals based on 'connection'
• A proximity approach to some region-based theories of space
• Axiomatizability of geometry without points
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Gunk, topology and measure
• Introduction to Boolean Algebras
• Mereotopological connection
• Qualitative spatial representation and reasoning: An overview
• Region-based theory of space: algebras of regions, representation theory, and logics
• Region-based topology
• Relational Methods in Computer Science
• Varieties of continua. From regions to points and back

Cited in

(10)

• The Expressivity of Quantifying over Regions
• Infinitesimal gunk
• Deep gunk and deep junk
• Point-free foundation of geometry looking at laboratory activities
• Three-dimensional affine spatial logics
• Topology and measure in logics for region-based theories of space
• Gunk, topology and measure
• Defining Measures in a Mereological Space (an exploratory paper)
• Extended simples, unextended complexes
• Measures in Euclidean point-free geometry (an exploratory paper)

This page was built for publication: A calculus of regions respecting both measure and topology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2281314)