The following pages link to (Q4263005):
Displaying 10 items.
- Proof theory for locally finite many-valued logics: semi-projective logics (Q385019) (← links)
- Normal forms for fuzzy logics: a proof-theoretic approach (Q884948) (← links)
- On the (fuzzy) logical content of CADIAG-2 (Q983067) (← links)
- Fast decision procedure for propositional Dummett logic based on a multiple premise tableau calculus (Q991900) (← links)
- Dialogue games for many-valued logics -- an overview (Q1005947) (← 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)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Terminating calculi for propositional Dummett logic with subformula property (Q2352485) (← links)
