THE POSET OF ALL LOGICS II: LEIBNIZ CLASSES AND HIERARCHY (Q5879187): Difference between revisions

@@ Property / cites work @@
+Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
+Normal rank
@@ Property / cites work @@
+Taylor's modularity conjecture holds for linear idempotent varieties.
+Normal rank
@@ Property / cites work @@
+Q3093852
@@ Property / cites work: Q3093852 / rank @@
+Normal rank
@@ Property / cites work @@
+Epimorphisms in varieties of residuated structures
+Normal rank
@@ Property / cites work @@
+The Beth property in algebraic logic
@@ Property / cites work: The Beth property in algebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for quasi-classical modal logics
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4029628
@@ Property / cites work: Q4029628 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic semantics for deductive systems
@@ Property / cites work: Algebraic semantics for deductive systems / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalential logics. I
@@ Property / cites work: Equivalential logics. I / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Weakly algebraizable logics
@@ Property / cites work: Weakly algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249028
@@ Property / cites work: Q4249028 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5413346
@@ Property / cites work: Q5413346 / rank @@
+Normal rank
@@ Property / cites work @@
+The simplest protoalgebraic logic
@@ Property / cites work: The simplest protoalgebraic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering protoalgebraic logics
@@ Property / cites work: Ordering protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3185647
@@ Property / cites work: Q3185647 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4715441
@@ Property / cites work: Q4715441 / rank @@
+Normal rank
@@ Property / cites work @@
+Update to ``A survey of abstract algebraic logic''
+Normal rank
@@ Property / cites work @@
+The lattice of interpretability types of varieties
+Normal rank
@@ Property / cites work @@
+The structure of finite algebras
@@ Property / cites work: The structure of finite algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The poset of all logics. III: Finitely presentable logics
+Normal rank
@@ Property / cites work @@
+THE POSET OF ALL LOGICS I: INTERPRETATIONS AND LATTICE STRUCTURE
+Normal rank
@@ Property / cites work @@
+The shape of congruence lattices
@@ Property / cites work: The shape of congruence lattices / rank @@
+Normal rank
@@ Property / cites work @@
+A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS
@@ Property / cites work: A STUDY OF TRUTH PREDICATES IN MATRIX SEMANTICS / rank @@
+Normal rank
@@ Property / cites work @@
+ON EQUATIONAL COMPLETENESS THEOREMS
@@ Property / cites work: ON EQUATIONAL COMPLETENESS THEOREMS / rank @@
+Normal rank
@@ Property / cites work @@
+Epimorphism surjectivity in varieties of Heyting algebras
+Normal rank
@@ Property / cites work @@
+On Malcev conditions
@@ Property / cites work: On Malcev conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Taylor's modularity conjecture and related problems for idempotent varieties
+Normal rank
@@ Property / cites work @@
+Local Malcev Conditions
@@ Property / cites work: Local Malcev Conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5441554
@@ Property / cites work: Q5441554 / rank @@
+Normal rank
@@ Property / cites work @@
+Order algebraizable logics
@@ Property / cites work: Order algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+On reduced matrices
@@ Property / cites work: On reduced matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Admissibility of logical inference rules
@@ Property / cites work: Admissibility of logical inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Mal'cev conditions
@@ Property / cites work: Characterizing Mal'cev conditions / rank @@
+Normal rank
@@ Property / cites work @@
+Varieties Obeying Homotopy Laws
@@ Property / cites work: Varieties Obeying Homotopy Laws / rank @@
+Normal rank
@@ Property / cites work @@
+Kongruenzklassengeometrien
@@ Property / cites work: Kongruenzklassengeometrien / rank @@
+Normal rank