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 10 items.
- A framework for automated reasoning in multiple-valued logics (Q1272603) (← links)
- On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras (Q1699728) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- New complexity results for Łukasiewicz logic (Q2317509) (← links)
- Automated deduction for many-valued logics (Q2751372) (← links)
- The Complexity of 3-Valued Łukasiewicz Rules (Q5268448) (← links)
- An application of automated equational reasoning to many-valued logic (Q5881275) (← 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)
