Pages that link to "Item:Q2506811"
From MaRDI portal
The following pages link to An asymptotically tight bound on countermodels for Łukasiewicz logic (Q2506811):
Displaying 5 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- On the complexity of validity degrees in Łukasiewicz logic (Q2106603) (← links)
- Poset products as relational models (Q2115284) (← links)
- Rational Pavelka logic: the best among three worlds? (Q6083147) (← links)
- The MaxSAT problem in the real-valued MV-algebra (Q6541163) (← links)
