Pages that link to "Item:Q1407546"
From MaRDI portal
The following pages link to Finite-valued reductions of infinite-valued logics (Q1407546):
Displaying 11 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)
- Optimal axiomatizations of finitely valued logics (Q1854378) (← links)
- Tableaux for Łukasiewicz infinite-valued logic (Q1868241) (← links)
- Finiteness in infinite-valued Łukasiewicz logic (Q1971778) (← links)
- An asymptotically tight bound on countermodels for Łukasiewicz logic (Q2506811) (← links)
- Computing Minimal Axiomatizations in Godel Propositional Logic (Q3097869) (← links)
- Applying Association Rules to ε-Reduction of Finite Theory in Two-Valued Propositional Logic (Q3145144) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- The MaxSAT problem in the real-valued MV-algebra (Q6541163) (← links)