The following pages link to (Q3105088):
Displaying 5 items.
- Many-valued multi-modal logics, satisfiability problem (Q1669939) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- Extending the reach of SAT with many-valued logics (Q2741541) (← links)
- (Q3726086) (← links)
- An Algebraic Method to Decide the Deduction Problem in Many-Valued Logics (Q4236072) (← links)