A Completeness Result for Relation Algebra with Binders (Q4916210): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid logics: characterization, interpolation and complexity
+Normal rank
@@ Property / cites work @@
+Non-finite-axiomatizability results in algebraic logic
+Normal rank
@@ Property / cites work @@
+Relational Methods in Computer Science
@@ Property / cites work: Relational Methods in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Representation, reasoning, and relational structures: a hybrid logic manifesto
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid completeness
@@ Property / cites work: Hybrid completeness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011716
@@ Property / cites work: Q4011716 / rank @@
+Normal rank
@@ Property / cites work @@
+A proof system for the first-order relational calculus
+Normal rank
@@ Property / cites work @@
+Term logic with choice operator. Revised and Enlarged Translation of the first German Edition
+Normal rank
@@ Property / cites work @@
+Varieties of relation algebras
@@ Property / cites work: Varieties of relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The representation of relational algebras
@@ Property / cites work: The representation of relational algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus for relation algebras
@@ Property / cites work: A sequent calculus for relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Nonfinite axiomatizability results for cylindric and relation algebras
+Normal rank
@@ Property / cites work @@
+Q4362875
@@ Property / cites work: Q4362875 / rank @@
+Normal rank
@@ Property / cites work @@
+Relation Algebra with Binders
@@ Property / cites work: Relation Algebra with Binders / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126000
@@ Property / cites work: Q3126000 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-dimensional modal logic
@@ Property / cites work: Multi-dimensional modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the search for a finitizable algebraization of first order logic
+Normal rank
@@ Property / cites work @@
+Upper Bounds for Proof‐Search in a Sequent Calculus for Relational Equations
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4349279
@@ Property / cites work: Q4349279 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1571-0661(04)80549-8
+Normal rank
@@ Property / OpenAlex ID @@
+W1998919726
@@ Property / OpenAlex ID: W1998919726 / rank @@
+Normal rank