Pages that link to "Item:Q5268448"
From MaRDI portal
The following pages link to The Complexity of 3-Valued Łukasiewicz Rules (Q5268448):
Displayed 4 items.
- 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)
- The Complexity of 3-Valued Łukasiewicz Rules (Q5268448) (← links)
- A first polynomial non-clausal class in many-valued logic (Q6083144) (← links)