The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete

DOI10.1016/J.TCS.2008.10.024zbMATH Open1159.03045OpenAlexW2076019293MaRDI QIDQ1006641FDOQ1006641

Authors: Simone Bova, Franco Montagna 

Publication date: 25 March 2009

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2008.10.024

Recommendations

• On the complexity of the equational theory of residuated Boolean algebras
• The Blok-Ferreirim theorem for normal GBL-algebras and its application
• Algebras of Relations and Relevance Logic
• Multipotent GBL-algebras
• On the structure of generalized BL-algebras

zbMATH Keywords

computational complexityintuitionistic logicsubstructural logicsfuzzy logicresiduated latticescommutative GBL-algebras

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Fuzzy logic; logic of vagueness (03B52) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) Complexity of computation (including implicit computational complexity) (03D15)

Cites Work

• Introduction to algorithms
• Title not available (Why is that?)
• Metamathematics of fuzzy logic
• On the structure of generalized BL-algebras
• Title not available (Why is that?)
• Residuated lattices. An algebraic glimpse at substructural logics
• Satisfiability in many-valued sentential logic is NP-complete
• An algebraic approach to non-classical logics
• Generalized MV-algebras
• Algebraizable logics
• A theorem about infinite-valued sentential logic
• The complexity of the word problem for abelian l-groups
• Complexity of t-tautologies
• On the structure of hoops
• Complexity issues in Basic Logic
• Intuitionistic propositional logic is polynomial-space complete
• Embedding theorems for classes of GBL-algebras
• The Blok-Ferreirim theorem for normal GBL-algebras and its application
• Retracted: Ordered groups with a modality

Cited In (9)

• On the complexity of the equational theory of residuated Boolean algebras
• Kripke semantics for intuitionistic Łukasiewicz logic
• Franco Montagna's work on provability logic and many-valued logic
• Soft Constraints Processing over Divisible Residuated Lattices
• A Kripke Semantics for Hajek's BL
• Double negation semantics for generalisations of Heyting algebras
• Some modal and temporal translations of generalized basic logic
• Obituary: Franco Montagna (1948--2015)
• The Blok-Ferreirim theorem for normal GBL-algebras and its application

This page was built for publication: The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1006641)