Browse by UCL people
Group by: Type | Date
Jump to: Article | Proceedings paper
Number of items: 3.
Article
Pavlova, Alexandra;
Freiman, Robert;
Lang, Timo;
(2022)
From Semantic Games to Provability: The Case of Gödel Logic.
Studia Logica
, 110
(2)
pp. 429-456.
10.1007/s11225-021-09966-x.
|
 |
Proceedings paper
|
Ciabattoni, Agata;
Lang, Timo;
Ramanayake, Revantha;
(2023)
Cut-restriction: from cuts to analytic cuts.
In:
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
IEEE: Boston, MA, USA.
|
|
Lang, Timo;
(2023)
Some Analytic Systems of Rules.
In: Ramanayake, Revantha and Urban, Josef, (eds.)
Lecture Notes in Computer Science.
(pp. pp. 94-111).
Springer: Cham, Switzerland.
|
