Satisfiability in many-valued sentential logic is NP-complete
Theoretical Computer Science
Automated deduction in multiple-valued logics
Automated deduction in multiple-valued logics
Resolution and model building in the infinite-valued calculus of Łukasiewicz
Theoretical Computer Science
Two Connections Between Linear Logic and Lukasiewicz Logics
KGC '97 Proceedings of the 5th Kurt Gödel Colloquium on Computational Logic and Proof Theory
Restricted Delta-Trees and Reduction Theorems in Multiple-Valued Logics
IBERAMIA 2002 Proceedings of the 8th Ibero-American Conference on AI: Advances in Artificial Intelligence
Analytic Sequent Calculi for Abelian and ukasiewicz Logics
TABLEAUX '02 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Complexity of many-valued logics
Beyond two
Sequent and hypersequent calculi for abelian and łukasiewicz logics
ACM Transactions on Computational Logic (TOCL)
Automated theorem proving by resolution in non-classical logics
Annals of Mathematics and Artificial Intelligence
Labelled Calculi for Łukasiewicz Logics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
On the refutational completeness of signed binary resolution and hyperresolution
Fuzzy Sets and Systems
Xor-Implications and E-Implications: Classes of Fuzzy Implications Based on Fuzzy Xor
Electronic Notes in Theoretical Computer Science (ENTCS)
On Metric Temporal Łukasiewicz Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Finite Satisfiability in Infinite-Valued Łukasiewicz Logic
SUM '09 Proceedings of the 3rd International Conference on Scalable Uncertainty Management
Answer Sets in a Fuzzy Equilibrium Logic
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
Fuzzy Equilibrium Logic: Declarative Problem Solving in Continuous Domains
ACM Transactions on Computational Logic (TOCL)
Hi-index | 0.00 |
In this paper we deepen Mundici‘s analysis onreducibility of the decision problem frominfinite-valued Łukasiewicz logic \mathcal L_∞to a suitable m-valued Łukasiewicz logic\mathcal L_m, where m only depends on the length of the formulas to be proved.Using geometrical arguments we find a better upperbound for the least integer m such that a formula is validin \mathcal L_∞ if and only if it is also valid in \mathcal L_m.We also reduce the notion of logical consequencein \mathcal L_∞ to the same notionin a suitable finite set of finite-valued Łukasiewicz logics.Finally, we define an analytic and internal sequent calculus forinfinite-valued Łukasiewicz logic.