Revantha Ramanayake | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

A. R. Balasubramanian
15 publications
Tim Lyon
11 publications
Alwen Tiu
9 publications
Agata Ciabattoni
8 publications
Timo Lang
5 publications

research

∙ 04/26/2023

Cut-restriction: from cuts to analytic cuts

Cut-elimination is the bedrock of proof theory with a multitude of appli...

0 Agata Ciabattoni, et al. ∙

research

∙ 03/03/2022

A theory of cut-restriction: first steps

Cut-elimination is the bedrock of proof theory. It is the algorithm that...

0 Agata Ciabattoni, et al. ∙

research

∙ 04/20/2021

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics

We establish decidability for the infinitely many axiomatic extensions o...

0 A. R. Balasubramanian, et al. ∙

research

∙ 11/06/2019

Display to Labelled Proofs and Back Again for Tense Logics

We introduce translations between display calculus proofs and labelled c...

0 Agata Ciabattoni, et al. ∙