A \textit{DPLL} procedure with dichotomous branching for propositional product logic

DOI10.1142/S0218488524500296MaRDI QIDQ6664542zbMATH OpenFDO

Authors Dušan Guller

Publication date 16 January 2025

Published in International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0218488524500296

zbMATH Keywords

\textit{SAT} solver technologyautomated deductionfuzzy inferenceprocedure of Davis, Putnam, Logemann, and Lovelandproduct logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Fuzzy logic; logic of vagueness (03B52) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• scientific article; zbMATH DE number 1614697
• Fuzzy propositional logic
• scientific article; zbMATH DE number 4152343
• Some results and experiments in programming techniques for propositional logic
• Computer Aided Verification

Cites work

• A complete many-valued logic with product-conjunction
• A Computing Procedure for Quantification Theory
• A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
• A machine program for theorem-proving
• A structure-preserving clause form translation
• Automated deduction in Gödel logic
• Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
• Embedding logics into product logic
• Finiteness in infinite-valued Łukasiewicz logic
• GRASP: a search algorithm for propositional satisfiability
• scientific article; zbMATH DE number 1303351 (Why is no real title available?)
• scientific article; zbMATH DE number 1354791 (Why is no real title available?)
• scientific article; zbMATH DE number 1526147 (Why is no real title available?)
• scientific article; zbMATH DE number 2174307 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• Hyperresolution for Gödel logic with truth constants
• Inconsistency management from the standpoint of possibilistic logic
• Insight into fuzzy modeling
• Many-valued logic and mixed integer programming
• Metamathematics of fuzzy logic
• Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
• New complexity results for Łukasiewicz logic
• Numerical Linear Programming under Non-Probabilistic Uncertainty Models — Interval and Fuzzy Sets
• On the structure of semi-groups on a compact manifold with boundary
• Satisfiability in many-valued sentential logic is NP-complete
• Short Conjunctive Normal Forms in Finitely Valued Logics
• Some Methods for Yager Preference Involved Aggregations in Multi-Criteria and Multi-Sources Evaluation
• Triangular norms

This page was built for publication: A \textit{DPLL} procedure with dichotomous branching for propositional product logic

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