VARIETIES OF EQUALITY STRUCTURES (Q3043518): Difference between revisions

@@ Property / cites work @@
+Quantales, observational logic and process semantics
+Normal rank
@@ Property / cites work @@
+Equality algebras
@@ Property / cites work: Equality algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Internalizing equality in Boolean algebras
@@ Property / cites work: Internalizing equality in Boolean algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals in universal algebras
@@ Property / cites work: Ideals in universal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
+Normal rank
@@ Property / cites work @@
+Q5604443
@@ Property / cites work: Q5604443 / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties of relation algebras
@@ Property / cites work: Varieties of relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Interior algebras and varieties
@@ Property / cites work: Interior algebras and varieties / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on the theory of relation algebras
@@ Property / cites work: A perspective on the theory of relation algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Some theorems about the sentential calculi of Lewis and Heyting
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Mal'cev varieties
@@ Property / cites work: Mal'cev varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q5732660
@@ Property / cites work: Q5732660 / rank @@
+Normal rank