Equivalent transformations of formulas in \(P_2\). (Q2513087): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Function Algebras on Finite Sets
@@ Property / cites work: Function Algebras on Finite Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Identities in Two-Valued Calculi
@@ Property / cites work: Identities in Two-Valued Calculi / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of Lyndon's finite basis theorem
@@ Property / cites work: A proof of Lyndon's finite basis theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Finite equational bases for finite algebras in a congruence-distributive equational class
+Normal rank
@@ Property / cites work @@
+Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras
+Normal rank
@@ Property / cites work @@
+Q5735555
@@ Property / cites work: Q5735555 / rank @@
+Normal rank
@@ Property / cites work @@
+Identities in Finite Algebras
@@ Property / cites work: Identities in Finite Algebras / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2513087