On the complexity of the Leibniz hierarchy (Q1740630): Difference between revisions

@@ Property / author @@
-Tommaso Moraschini
@@ Property / author: Tommaso Moraschini / rank @@
-Normal rank
@@ Property / author @@
+Tommaso Moraschini
@@ Property / author: Tommaso Moraschini / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q123260237
@@ Property / Wikidata QID: Q123260237 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2920555127
@@ Property / OpenAlex ID: W2920555127 / rank @@
+Normal rank
@@ Property / cites work @@
+Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3093852
@@ Property / cites work: Q3093852 / rank @@
+Normal rank
@@ Property / cites work @@
+COMPUTATIONAL COMPLEXITY OF TERM-EQUIVALENCE
@@ Property / cites work: COMPUTATIONAL COMPLEXITY OF TERM-EQUIVALENCE / rank @@
+Normal rank
@@ Property / cites work @@
+Q3365834
@@ Property / cites work: Q3365834 / rank @@
+Normal rank
@@ Property / cites work @@
+Equivalence of consequence operations
@@ Property / cites work: Equivalence of consequence operations / rank @@
+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 @@
+Reduced products of logical matrices
@@ Property / cites work: Reduced products of logical matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Protoalgebraic logics
@@ Property / cites work: Protoalgebraic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Some characterization theorems for infinitary universal Horn logic without equality
+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 @@
+ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
@@ Property / cites work: ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS / rank @@
+Normal rank
@@ Property / cites work @@
+The lattice of interpretability types of varieties
+Normal rank
@@ Property / cites work @@
+Two Mal'cev-type theorems in universal algebra
@@ Property / cites work: Two Mal'cev-type theorems in universal algebra / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Complexity of Algorithms
@@ Property / cites work: On the Computational Complexity of Algorithms / rank @@
+Normal rank
@@ Property / cites work @@
+FINDING TYPE SETS IS NP-HARD
@@ Property / cites work: FINDING TYPE SETS IS NP-HARD / rank @@
+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 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 @@
+Q3751631
@@ Property / cites work: Q3751631 / rank @@
+Normal rank
@@ Property / cites work @@
+A computational glimpse at the Leibniz and Frege hierarchies
+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 @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondences between gentzen and hilbert systems
+Normal rank
@@ Property / cites work @@
+Q5441554
@@ Property / cites work: Q5441554 / rank @@
+Normal rank
@@ Property / cites work @@
+A perspective on the algebra of logic
@@ Property / cites work: A perspective on the algebra of logic / rank @@
+Normal rank
@@ Property / cites work @@
+Order algebraizable logics
@@ Property / cites work: Order algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing Mal'cev conditions
@@ Property / cites work: Characterizing Mal'cev conditions / rank @@
+Normal rank