Relation algebra reducts of cylindric algebras and an application to proof theory (Q4532609): Difference between revisions

@@ Property / cites work @@
+Combinatorial Relations and Chromatic Graphs
@@ Property / cites work: Combinatorial Relations and Chromatic Graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 8
@@ Property / cites work: Handbook of philosophical logic. Vol. 8 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of equations valid in algebras of relations. I: Strong non-finitizability
+Normal rank
@@ Property / cites work @@
+Relation algebras and projective geometries
@@ Property / cites work: Relation algebras and projective geometries / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric algebras. Part II
@@ Property / cites work: Cylindric algebras. Part II / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras from cylindric and polyadic algebras
+Normal rank
@@ Property / cites work @@
+Representations of integral relation algebras
@@ Property / cites work: Representations of integral relation algebras / rank @@
+Normal rank