Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract)

DOI10.1007/978-3-319-60840-2_10OpenAlexW2672897023MaRDI QIDQ5082174

Dimiter Vakarelov

Publication date: 15 June 2022

Published in: Rough Sets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-60840-2_10

zbMATH Keywords

topological representationmereotopologycontact algebraactual contactactual existence

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Other algebras related to logic (03G25) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items (3)

Is weak supplementation analytic? ⋮ Algebraic Representation, Dualities and Beyond ⋮ Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality

This page was built for publication: Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract)