Weakly associative relation algebras with projections (Q3619868): Difference between revisions

@@ Property / cites work @@
+Finite algebras of relations are representable on finite sets
+Normal rank
@@ Property / cites work @@
+Hilbert's Tenth Problem is Unsolvable
@@ Property / cites work: Hilbert's Tenth Problem is Unsolvable / rank @@
+Normal rank
@@ Property / cites work @@
+Relation algebras by games
@@ Property / cites work: Relation algebras by games / rank @@
+Normal rank
@@ Property / cites work @@
+Arrow logic and infinite counting
@@ Property / cites work: Arrow logic and infinite counting / rank @@
+Normal rank
@@ Property / cites work @@
+Q2708315
@@ Property / cites work: Q2708315 / rank @@
+Normal rank
@@ Property / cites work @@
+Some sufficient conditions for the representability of relation algebras
+Normal rank
@@ Property / cites work @@
+Some Varieties Containing Relation Algebras
@@ Property / cites work: Some Varieties Containing Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary Algebraic Logic
@@ Property / cites work: Finitary Algebraic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Pair-Dense Relation Algebras
@@ Property / cites work: Pair-Dense Relation Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary algebraic logic II
@@ Property / cites work: Finitary algebraic logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628115
@@ Property / cites work: Q5628115 / rank @@
+Normal rank
@@ Property / cites work @@
+Decidability of Relation Algebras with Weakened Associativity
+Normal rank
@@ Property / cites work @@
+On varieties of cylindric algebras with applications to logic
+Normal rank
@@ Property / cites work @@
+Connections between quasi-projective relation algebras and cylindric algebras
+Normal rank
@@ Property / cites work @@
+Q4040000
@@ Property / cites work: Q4040000 / rank @@
+Normal rank