Revantha Ramanayake

Available identifiers

zbMath Open ramanayake.revanthaMaRDI QIDQ1709694

List of research outcomes

Publication	Date of Publication	Type
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	2022-02-24	Paper
BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS	2021-10-27	Paper
Extended Kripke lemma and decidability for hypersequent substructural logics	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	2019-01-10	Paper
Non-commutative classical arithmetical sequent calculi are intuitionistic	2019-01-08	Paper
https://portal.mardi4nfdi.de/entity/Q4558785	2018-11-30	Paper
From display to labelled proofs for tense logics	2018-04-06	Paper
Power and Limits of Structural Display Rules	2017-07-12	Paper
Inducing Syntactic Cut-Elimination for Indexed Nested Sequents	2016-09-05	Paper
Embedding the hypersequent calculus in the display calculus	2015-07-15	Paper
Hypersequent and display calculi -- a unified perspective	2015-02-27	Paper
Cut-elimination for weak Grzegorczyk logic Go	2014-06-19	Paper
https://portal.mardi4nfdi.de/entity/Q5419884	2014-06-11	Paper
Structural Extensions of Display Calculi: A General Recipe	2013-09-17	Paper
Valentini's cut-elimination for provability logic resolved	2012-06-11	Paper
https://portal.mardi4nfdi.de/entity/Q3086940	2011-03-30	Paper

Research outcomes over time

This page was built for person: Revantha Ramanayake