Timo Lang
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Cut-restriction: from cuts to analytic cuts | 2026-02-27 | Paper |
| Analytic proofs for tense logic | 2026-02-10 | Paper |
| A simple token game and its logic | 2025-02-19 | Paper |
| Some analytic systems of rules | 2024-05-17 | Paper |
| A reduction in violation logic | 2023-02-21 | Paper |
| From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic 1512.03043 | 2022-12-06 | Paper |
| From truth degree comparison games to sequents-of-relations calculi for Gödel logic Logica Universalis | 2022-09-01 | Paper |
| From semantic games to provability: the case of Gödel logic Studia Logica | 2022-03-23 | Paper |
| BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS Journal of Symbolic Logic | 2021-10-27 | Paper |
| Bounded sequent calculi for non-classical logics via hypersequents | 2020-05-14 | Paper |
| A game model for proofs with costs (available as arXiv preprint) | 2020-05-14 | Paper |
| Interpreting sequent calculi as client-server games | 2018-02-02 | Paper |
Research outcomes over time
This page was built for person: Timo Lang
