Satisfiability in many-valued sentential logic is NP-complete
Theoretical Computer Science
Automated deduction in multiple-valued logics
Automated deduction in multiple-valued logics
Complexity issues in basic logic
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Generating the variety of BL-algebras
Soft Computing - A Fusion of Foundations, Methodologies and Applications
Finite Satisfiability in Infinite-Valued Łukasiewicz Logic
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Fuzzy description logics with general t-norms and datatypes
Fuzzy Sets and Systems
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
ISMVL '12 Proceedings of the 2012 IEEE 42nd International Symposium on Multiple-Valued Logic
Hi-index | 0.00 |
In the literature, little attention has been paid to the development of solvers for systems of mathematical fuzzy logic, even though there is an important number of studies on complexity and proof theory for them. In this paper, extending a recent approach by Ansótegui et al., we present ongoing work on an efficient and modular SMT-based solver for a wide family of continuous t-norm based fuzzy logics. The solver is able to deal with most famous fuzzy logics (including BL, Łukasiewicz, Gödel and Product); and for each of them, it is able to test, among others, satisfiability, tautologicity and logical consequence problems. Note that, unlike the classical case, these problems are not in general interdefinable in fuzzy logics. Some empirical results are reported at the end of the paper.