Pages that link to "Item:Q4323008"
From MaRDI portal
The following pages link to Short Conjunctive Normal Forms in Finitely Valued Logics (Q4323008):
Displaying 12 items.
- Binary resolution over complete residuated Stone lattices (Q835103) (← links)
- Binary resolution over Boolean lattices (Q853473) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- Optimal axiomatizations of finitely valued logics (Q1854378) (← links)
- New complexity results for Łukasiewicz logic (Q2317509) (← links)
- Hyperresolution for Gödel logic with truth constants (Q2328910) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- Regular-SAT: A many-valued approach to solving combinatorial problems (Q2643307) (← links)
- A Generalisation of the Hyperresolution Principle to First Order Gödel Logic (Q2829667) (← links)
- MaxSAT resolution for regular propositional logic (Q6066845) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)