The following pages link to (Q4450443):
Displaying 6 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- On the (fuzzy) logical content of CADIAG-2 (Q983067) (← links)
- Proof search and co-NP completeness for many-valued logics (Q1697337) (← links)
- From semantic games to provability: the case of Gödel logic (Q2118973) (← links)
- From truth degree comparison games to sequents-of-relations calculi for Gödel logic (Q2169133) (← links)
- Decision methods for linearly ordered Heyting algebras (Q2491077) (← links)
