A completeness result for relation algebra with binders

DOI10.1016/S1571-0661(04)80549-8MaRDI QIDQ4916210zbMATH OpenOpenAlexFDO

Authors Jorge P. Viana, Renata P. de Freitas

Publication date 19 April 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s1571-0661(04)80549-8

zbMATH Keywords

completenesshybrid logicrelation algebrarelation algebra with binders

Mathematics Subject Classification ID

Cylindric and polyadic algebras; relation algebras (03G15)

Recommendations

• Relation algebras with binders
• Algebraization of Hybrid Logic with Binders
• Relation algebras and \(\mathbf{R}\)
• Relation algebras
• scientific article; zbMATH DE number 54353

Cites work

• A proof system for the first-order relational calculus
• A sequent calculus for relation algebras
• scientific article; zbMATH DE number 993777 (Why is no real title available?)
• scientific article; zbMATH DE number 67028 (Why is no real title available?)
• scientific article; zbMATH DE number 193143 (Why is no real title available?)
• scientific article; zbMATH DE number 1047502 (Why is no real title available?)
• scientific article; zbMATH DE number 1086627 (Why is no real title available?)
• Hybrid completeness
• Hybrid logics: Characterization, interpolation and complexity
• Modal logic
• Multi-dimensional modal logic
• Non-finite-axiomatizability results in algebraic logic
• Nonfinite axiomatizability results for cylindric and relation algebras
• On the search for a finitizable algebraization of first order logic
• Relation algebras with binders
• Relational Methods in Computer Science
• Representation, reasoning, and relational structures: a hybrid logic manifesto
• Term logic with choice operator. Revised and Enlarged Translation of the first German Edition
• The representation of relational algebras
• Upper Bounds for Proof‐Search in a Sequent Calculus for Relational Equations
• Varieties of relation algebras

Cited in

(3)

• Relation algebras with binders
• Knuth-Bendix completion for non-symmetric transitive relations
• scientific article; zbMATH DE number 1156790 (Why is no real title available?)

This page was built for publication: A completeness result for relation algebra with binders

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