Revantha Ramanayake

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
Analytic proof theory for Åqvist's system F	2024-08-05	Paper
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations	2023-12-06	Paper
Cut-elimination for provability logic by terminating proof-search: formalised and deconstructed using Coq	2022-05-25	Paper
Display to Labeled Proofs and Back Again for Tense Logics ACM Transactions on Computational Logic	2022-02-24	Paper
Display to Labeled Proofs and Back Again for Tense Logics ACM Transactions on Computational Logic	2022-02-24	Paper
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS Journal of Symbolic Logic	2021-10-27	Paper
Extended Kripke lemma and decidability for hypersequent substructural logics Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-21	Paper
Bounded sequent calculi for non-classical logics via hypersequents	2020-05-14	Paper
Sequentialising nested systems	2020-05-14	Paper
Bunched hypersequent calculi for distributive substructural logics EPiC Series in Computing	2019-01-10	Paper
Non-commutative classical arithmetical sequent calculi are intuitionistic Logic Journal of the IGPL	2019-01-08	Paper
scientific article; zbMATH DE number 6987093 (Why is no real title available?) (available as arXiv preprint)	2018-11-30	Paper
From display to labelled proofs for tense logics	2018-04-06	Paper
Power and limits of structural display rules ACM Transactions on Computational Logic	2017-07-12	Paper
Inducing syntactic cut-elimination for indexed nested sequents Automated Reasoning	2016-09-05	Paper
Embedding the hypersequent calculus in the display calculus Journal Of Logic And Computation	2015-07-15	Paper
Hypersequent and display calculi -- a unified perspective Studia Logica	2015-02-27	Paper
Cut-elimination for weak Grzegorczyk logic Go Studia Logica	2014-06-19	Paper
Labelled tree sequents, tree hypersequents and nested (deep) sequents	2014-06-11	Paper
Structural extensions of display calculi: a general recipe Logic, Language, Information, and Computation	2013-09-17	Paper
Valentini's cut-elimination for provability logic resolved The Review of Symbolic Logic	2012-06-11	Paper
Valentini's cut-elimination for provability logic resolved	2011-03-30	Paper

Research outcomes over time

This page was built for person: Revantha Ramanayake