Mereotopologies with Predicates of Actual Existence and Actual Contact

DOI10.3233/FI-2017-1613zbMath1420.03030OpenAlexW2778710951MaRDI QIDQ4604559

Dimiter Vakarelov

Publication date: 2 March 2018

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2017-1613

zbMATH Keywords

topological representationmereotopologycontact algebraactual contactactual existence

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other algebras related to logic (03G25) Foundations of classical theories (including reverse mathematics) (03B30) Logical aspects of Boolean algebras (03G05)

Related Items (1)

Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality

This page was built for publication: Mereotopologies with Predicates of Actual Existence and Actual Contact