The following pages link to Many-valued computational logics (Q912083):
Displaying 11 items.
- On the complexity of entailment in propositional multivalued logics (Q1380415) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Many-valued logic and mixed integer programming (Q1924752) (← links)
- Calculi for many-valued logics (Q2045004) (← links)
- Multi-valued logic in graph transformation theory and self-adaptive systems (Q2294579) (← links)
- Theory of valuation (Q2735686) (← links)
- Extending the reach of SAT with many-valued logics (Q2741541) (← links)
- (Q3334069) (← links)
- (Q3536079) (← links)
- (Q4342080) (← links)
- Many-valued logics (Q5915420) (← links)