The following pages link to Timo Lang (Q1694452):
Displayed 8 items.
- Interpreting sequent calculi as client-server games (Q1694453) (← 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)
- Bounded sequent calculi for non-classical logics via hypersequents (Q2180510) (← links)
- A game model for proofs with costs (Q2180520) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- (Q5878378) (← links)
- From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic (Q6485329) (← links)