Revantha Ramanayake

Available identifiers

zbMath Open ramanayake.revanthaMaRDI QIDQ1709694

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Revantha Ramanayake