2-element matrices (Q1168307): Difference between revisions

@@ Property / cites work @@
+Ein Verfahren Zur Axiomatisierung Der Kontradiktionen Gewisser Zweiwertiger Aussagenkalküle
+Normal rank
@@ Property / cites work @@
+Congruence-distributive polynomial reducts of lattices
+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 @@
+Varieties generated by para primal algebras
@@ Property / cites work: Varieties generated by para primal algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Fragments of the propositional calculus
@@ Property / cites work: Fragments of the propositional calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Algebras Whose Congruence Lattices are Distributive.
+Normal rank
@@ Property / cites work @@
+Q3268305
@@ Property / cites work: Q3268305 / 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 finite algebra A with SP(A) not elementary
@@ Property / cites work: A finite algebra A with SP(A) not elementary / rank @@
+Normal rank
@@ Property / cites work @@
+The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
+Normal rank
@@ Property / cites work @@
+Algebras with minimal spectrum
@@ Property / cites work: Algebras with minimal spectrum / rank @@
+Normal rank
@@ Property / cites work @@
+Q3858239
@@ Property / cites work: Q3858239 / rank @@
+Normal rank
@@ Property / cites work @@
+Completeness of calculii for axiomatically defined classes of algebras
+Normal rank
@@ Property / cites work @@
+The fine spectrum of a variety
@@ Property / cites work: The fine spectrum of a variety / rank @@
+Normal rank
@@ Property / cites work @@
+Matrix approach in methodology of sentential calculi
+Normal rank
@@ Property / cites work @@
+Matrix representations for structural strengthenings of a propositional logic
+Normal rank
@@ Property / cites work @@
+Q4196408
@@ Property / cites work: Q4196408 / rank @@
+Normal rank