On the complexity of axiomatizations of the class of representable quasi-polyadic equality algebras (Q3170559): Difference between revisions

@@ 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.1002/malq.201010015
+Normal rank
@@ Property / OpenAlex ID @@
+W2018384874
@@ Property / OpenAlex ID: W2018384874 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of equations valid in algebras of relations. I: Strong non-finitizability
+Normal rank
@@ Property / cites work @@
+Epimorphisms in cylindric algebras and definability in finite variable logic
+Normal rank
@@ Property / cites work @@
+Finitary polyadic algebras from cylindric algebras
+Normal rank
@@ Property / cites work @@
+On Cylindric Algebras Satisfying Merry-go-round Properties
+Normal rank
@@ Property / cites work @@
+Nonfinitizability of classes of representable polyadic algebras
+Normal rank
@@ Property / cites work @@
+The representation of relation algebras. II
@@ Property / cites work: The representation of relation algebras. II / rank @@
+Normal rank
@@ Property / cites work @@
+Nonfinitizability of classes of representable cylindric algebras
+Normal rank
@@ Property / cites work @@
+Provability with Finitely Many Variables
@@ Property / cites work: Provability with Finitely Many Variables / rank @@
+Normal rank
@@ Property / cites work @@
+Q4011731
@@ Property / cites work: Q4011731 / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindric modal logic
@@ Property / cites work: Cylindric modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Modal Logic for Quantification and Substitution
@@ Property / cites work: A Modal Logic for Quantification and Substitution / rank @@
+Normal rank