A Completeness Result for Relation Algebra with Binders
From MaRDI portal
Publication:4916210
DOI10.1016/S1571-0661(04)80549-8zbMath1261.03170OpenAlexW1998919726MaRDI QIDQ4916210
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A sequent calculus for relation algebras
- Varieties of relation algebras
- A proof system for the first-order relational calculus
- Multi-dimensional modal logic
- Term logic with choice operator. Revised and Enlarged Translation of the first German Edition
- The representation of relational algebras
- Hybrid logics: characterization, interpolation and complexity
- Relation Algebra with Binders
- Non-finite-axiomatizability results in algebraic logic
- Nonfinite axiomatizability results for cylindric and relation algebras
- Hybrid completeness
- Relational Methods in Computer Science
- Representation, reasoning, and relational structures: a hybrid logic manifesto
- On the search for a finitizable algebraization of first order logic
- Upper Bounds for Proof‐Search in a Sequent Calculus for Relational Equations
This page was built for publication: A Completeness Result for Relation Algebra with Binders