Relational proof systems for spatial reasoning

DOI10.3166/JANCL.16.409-431MaRDI QIDQ3647246zbMATH OpenOpenAlexFDO

Authors Joanna Golińska-Pilarek, Ewa Orłowska

Publication date 30 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.16.409-431

zbMATH Keywords

spatial reasoningcontact relation algebrasrelational logicsdual tableau systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• A relational logic for spatial contact based on rough set approximation
• A proof system for contact relation algebras
• scientific article; zbMATH DE number 5117074
• A modal and relevance logic for qualitative spatial reasoning
• scientific article; zbMATH DE number 1735911

Cites work

• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A calculus of individuals based on 'connection'
• A proof system for contact relation algebras
• A proximity approach to some region-based theories of space
• A relation-algebraic approach to the region connection calculus
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• Correspondence results for relational proof systems with application to the Lambek calculus
• On binary constraint problems
• On representable relation algebras
• On the calculus of relations
• Relation algebras and their application in temporal and spatial reasoning
• The origin of relation algebras in the development and axiomatization of the calculus of relations
• The representation of relational algebras

Cited in

(3)

• A modal and relevance logic for qualitative spatial reasoning
• Static Analysis
• A relational logic for spatial contact based on rough set approximation

This page was built for publication: Relational proof systems for spatial reasoning

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