Pages that link to "Item:Q1697332"
From MaRDI portal
The following pages link to Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332):
Displaying 6 items.
- On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras (Q1699728) (← links)
- New complexity results for Łukasiewicz logic (Q2317509) (← links)
- The Complexity of 3-Valued Łukasiewicz Rules (Q5268448) (← links)
- Editorial (Q5970268) (← links)
- The MaxSAT problem in the real-valued MV-algebra (Q6541163) (← links)
- A \textit{DPLL} procedure with dichotomous branching for propositional product logic (Q6664542) (← links)
