The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete (Q1006641): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.tcs.2008.10.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2076019293
@@ Property / OpenAlex ID: W2076019293 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity issues in Basic Logic
@@ Property / cites work: Complexity issues in Basic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the structure of hoops
@@ Property / cites work: On the structure of hoops / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of t-tautologies
@@ Property / cites work: Complexity of t-tautologies / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraizable logics
@@ Property / cites work: Algebraizable logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2747613
@@ Property / cites work: Q2747613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5687941
@@ Property / cites work: Q5687941 / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Generalized MV-algebras
@@ Property / cites work: Generalized MV-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Blok-Ferreirim theorem for normal GBL-algebras and its application
+Normal rank
@@ Property / cites work @@
+On the structure of generalized BL-algebras
@@ Property / cites work: On the structure of generalized BL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding theorems for classes of GBL-algebras
@@ Property / cites work: Embedding theorems for classes of GBL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+A theorem about infinite-valued sentential logic
@@ Property / cites work: A theorem about infinite-valued sentential logic / rank @@
+Normal rank
@@ Property / cites work @@
+Retracted: Ordered groups with a modality
@@ Property / cites work: Retracted: Ordered groups with a modality / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability in many-valued sentential logic is NP-complete
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic approach to non-classical logics
@@ Property / cites work: An algebraic approach to non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic propositional logic is polynomial-space complete
+Normal rank
@@ Property / cites work @@
+The complexity of the word problem for abelian l-groups
+Normal rank