Resolution and model building in the infinite-valued calculus of Łukasiewicz

DOI10.1016/S0304-3975(98)00012-7MaRDI QIDQ1276262zbMATH OpenFDO

Authors N. Olivetti, Daniele Mundici

Publication date 22 March 1999

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

zbMATH Keywords

complexitymodel buildingdecision algorithmresolution procedureinfinite-valued calculus of Łukasiewicz

Mathematics Subject Classification ID

Many-valued logic (03B50) Mechanization of proofs and logical operations (03B35)

Recommendations

• Computational complexity of infinite-valued Łukasiewicz propositional logic
• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
• New complexity results for Łukasiewicz logic
• Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics
• scientific article; zbMATH DE number 549996

Cites work

• scientific article; zbMATH DE number 956482 (Why is no real title available?)
• A theorem about infinite-valued sentential logic
• Exploiting data dependencies in many-valued logics
• Fragments of Many-Valued Statement Calculi
• Logic of infinite quantum systems
• Optimal comparison strategies in Ulam's searching game with two errors
• Satisfiability in many-valued sentential logic is NP-complete
• The decision problem for formulas in prenex conjunctive normal form with binary disjunctions

Cited in

(15)

• On the complexity of validity degrees in Łukasiewicz logic
• Determination of \(\alpha \)-resolution in lattice-valued first-order logic \(\mathrm{LF}(X)\)
• Dual tableau for monoidal triangular norm logic MTL
• Graded many-valued resolution with aggregation.
• New complexity results for Łukasiewicz logic
• Computational complexity of infinite-valued Łukasiewicz propositional logic
• Automated theorem proving by resolution in non-classical logics
• scientific article; zbMATH DE number 764337 (Why is no real title available?)
• Giles's game and the proof theory of Łukasiewicz logic
• Finite-valued reductions of infinite-valued logics
• The MaxSAT problem in the real-valued MV-algebra
• On compatibilities of \(\alpha \)-lock resolution method in linguistic truth-valued lattice-valued logic
• The complexity of 3-valued Łukasiewicz rules
• Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction
• The complexity of McNaughton functions of one variable

This page was built for publication: Resolution and model building in the infinite-valued calculus of Łukasiewicz

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