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

← Older edit

@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 7049925
@@ Property / DOI @@
-.1016/j.apal.2019.02.003
@@ Property / DOI: 10.1016/j.apal.2019.02.003 / 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
@@ Property / DOI @@
+.1016/J.APAL.2019.02.003
@@ Property / DOI: 10.1016/J.APAL.2019.02.003 / rank @@
+Normal rank
@@ Property / Recommended article @@
+Logical Approaches to Computational Barriers
+Normal rank
+Similarity Score: 0.8750644Amount 0.8750644
Unit 1
-Amount
+.8750644
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Logical Approaches to Computational Barriers
+Normal rank
+Similarity Score: 0.87323Amount 0.87323
Unit 1
-Amount
+.87323
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+On a complexity hierarchy between L and NL
+Normal rank
+Similarity Score: 0.8693022Amount 0.8693022
Unit 1
-Amount
+.8693022
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+A computational glimpse at the Leibniz and Frege hierarchies
+Normal rank
+Similarity Score: 0.8672507Amount 0.8672507
Unit 1
-Amount
+.8672507
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
+Similarity Score: 0.86395466Amount 0.86395466
Unit 1
-Amount
+.86395466
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Sur la complexité du principe de Tarski-Seidenberg
+Normal rank
+Similarity Score: 0.86195445Amount 0.86195445
Unit 1
-Amount
+.86195445
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+The complexity of Tarski's fixed point theorem
+Normal rank
+Similarity Score: 0.861449Amount 0.861449
Unit 1
-Amount
+.861449
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Leibniz complexity of Nash functions on differentiations
+Normal rank
+Similarity Score: 0.8585148Amount 0.8585148
Unit 1
-Amount
+.8585148
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Complexity of the Lambek calculus and its fragments
+Normal rank
+Similarity Score: 0.8556252Amount 0.8556252
Unit 1
-Amount
+.8556252
 Unit
+Recommender Run: Recommender Run 3
@@ Property / Recommended article @@
+Complexity of some problems in positive and related calculi
+Normal rank
+Similarity Score: 0.85445786Amount 0.85445786
Unit 1
-Amount
+.85445786
 Unit
+Recommender Run: Recommender Run 3