Pages that link to "Item:Q1924752"
From MaRDI portal
The following pages link to Many-valued logic and mixed integer programming (Q1924752):
Displayed 17 items.
- Satisfiability checking in Łukasiewicz logic as finite constraint satisfaction (Q352963) (← links)
- Complexity issues in Basic Logic (Q816857) (← links)
- On the refutational completeness of signed binary resolution and hyperresolution (Q1037933) (← links)
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers (Q1697332) (← links)
- On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras (Q1699728) (← links)
- Non-distributive relatives of ETL and NFL (Q2021563) (← links)
- Paraconsistent Gödel modal logic (Q2104534) (← links)
- Constraint tableaux for two-dimensional fuzzy logics (Q2142061) (← links)
- Lazy evaluations in Łukasiewicz type fuzzy logic (Q2329100) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- 1998 European Summer Meeting of the Association for Symbolic Logic (Q4254644) (← links)
- MUltlog 1.0: Towards an expert system for many-valued logics (Q4647516) (← links)
- Reducing fuzzy answer set programming to model finding in fuzzy logics (Q4897702) (← links)
- THREE CHARACTERIZATIONS OF STRICT COHERENCE ON INFINITE-VALUED EVENTS (Q5117594) (← links)
- Compiling Fuzzy Answer Set Programs to Fuzzy Propositional Theories (Q5504667) (← links)
- Introduction (Q5892200) (← links)
- Two-layered logics for paraconsistent probabilities (Q6118682) (← links)