A \textit{DPLL} procedure with dichotomous branching for propositional product logic
From MaRDI portal
Publication:6664542
DOI10.1142/s0218488524500296MaRDI QIDQ6664542
Publication date: 16 January 2025
Published in: International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (Search for Journal in Brave)
fuzzy inferenceproduct logicautomated deduction\textit{SAT} solver technologyprocedure of Davis, Putnam, Logemann, and Loveland
Fuzzy logic; logic of vagueness (03B52) Mechanization of proofs and logical operations (03B35) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the structure of semi-groups on a compact manifold with boundary
- A structure-preserving clause form translation
- Satisfiability in many-valued sentential logic is NP-complete
- Metamathematics of fuzzy logic
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- Triangular norms
- Embedding logics into product logic
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
- A complete many-valued logic with product-conjunction
- Many-valued logic and mixed integer programming
- Finiteness in infinite-valued Łukasiewicz logic
- New complexity results for Łukasiewicz logic
- Hyperresolution for Gödel logic with truth constants
- Insight into Fuzzy Modeling
- Short Conjunctive Normal Forms in Finitely Valued Logics
- GRASP: a search algorithm for propositional satisfiability
- Inconsistency Management from the Standpoint of Possibilistic Logic
- Automated Deduction in Gödel Logic
- A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
- A Computing Procedure for Quantification Theory
- A machine program for theorem-proving
- Numerical Linear Programming under Non-Probabilistic Uncertainty Models — Interval and Fuzzy Sets
- Some Methods for Yager Preference Involved Aggregations in Multi-Criteria and Multi-Sources Evaluation
This page was built for publication: A \textit{DPLL} procedure with dichotomous branching for propositional product logic
