Pages that link to "Item:Q352963"
From MaRDI portal
The following pages link to Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963):
Displaying 3 items.
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions (Q2282273) (← links)
- Lazy evaluations in Łukasiewicz type fuzzy logic (Q2329100) (← links)
