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 9 items.
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
- Resolution and model building in the infinite-valued calculus of Łukasiewicz (Q1276262) (← links)
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- Probably partially true: satisfiability for Łukasiewicz infinitely-valued probabilistic logic and related topics (Q2209555) (← 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)
- Lazy evaluations in Łukasiewicz type fuzzy logic (Q2329100) (← links)
- (Q3440993) (← links)
- The MaxSAT problem in the real-valued MV-algebra (Q6541163) (← links)