Timo Lang

Available identifiers

zbMath Open lang.timoMaRDI QIDQ1694452

List of research outcomes

Publication	Date of Publication	Type
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	2022-12-06	Paper
From truth degree comparison games to sequents-of-relations calculi for Gödel logic	2022-09-01	Paper
From semantic games to provability: the case of Gödel logic	2022-03-23	Paper
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS	2021-10-27	Paper
Bounded sequent calculi for non-classical logics via hypersequents	2020-05-14	Paper
A game model for proofs with costs	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