Mereotopologies with predicates of actual existence and actual contact

DOI10.3233/FI-2017-1613MaRDI QIDQ4604559zbMATH OpenOpenAlexFDO

Authors 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

actual contactactual existencecontact algebramereotopologytopological representation

Mathematics Subject Classification ID

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

Recommendations

• Actual existence predicate in mereology and mereotopology (extended abstract)
• A mereotopology based on sequent algebras
• A necessary relation algebra for mereotopology
• scientific article; zbMATH DE number 2202279
• scientific article; zbMATH DE number 1832239

Cited in

(2)

• Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
• Actual existence predicate in mereology and mereotopology (extended abstract)

This page was built for publication: Mereotopologies with predicates of actual existence and actual contact

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