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

@@ Property / author @@
+Robin Hirschl
@@ Property / author: Robin Hirschl / rank @@
+Normal rank
@@ Property / author @@
+I. M. Hodkinson
@@ Property / author: I. M. Hodkinson / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1190150037
+Normal rank
@@ Property / OpenAlex ID @@
+W2080847836
@@ Property / OpenAlex ID: W2080847836 / rank @@
+Normal rank
@@ 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