Dynamic contact algebras and quantifier-free logics for space and time

DOI10.17377/semi.2018.15.092zbMath1436.03165MaRDI QIDQ1615744

P. Vakarelov, P. Dimitrov

Publication date: 31 October 2018

Published in: Sibirskie Èlektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

representation theoremcontact algebradynamic contact algebranon-standard temporal logicquantifier-free first-order theoryregion-based theory of space and timerule-elimination theorem

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Other algebras related to logic (03G25)

Uses Software

• AIM@SHAPE

Cites Work

• Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Dynamic contact algebras and quantifier-free logics for space and time