Pages that link to "Item:Q1407546"
From MaRDI portal
The following pages link to Finite-valued reductions of infinite-valued logics (Q1407546):
Displayed 5 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- Complexity issues in Basic Logic (Q816857) (← links)
- Analytic calculi for product logics (Q1762728) (← links)
- An asymptotically tight bound on countermodels for Łukasiewicz logic (Q2506811) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)