Revantha Ramanayake

According to our database, Revantha Ramanayake authored at least 26 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations.

Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake

CoRR, 2023

Cut-Restriction: From Cuts to Analytic Cuts.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

LICS, 2023

Analytic Proof Theory for Åqvist's System F.

Agata Ciabattoni, Nicola Olivetti, Xavier Parent, Revantha Ramanayake, Dmitry Rozplokhas

Proceedings of the Deontic Logic and Normative Systems - 16th International Conference, 2023

2022

A theory of cut-restriction: first steps.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

CoRR, 2022

2021

Display to Labeled Proofs and Back Again for Tense Logics.

Agata Ciabattoni, Tim S. Lyon, Revantha Ramanayake, Alwen Tiu

ACM Trans. Comput. Log., 2021

Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

J. Symb. Log., 2021

Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq.

Rajeev Goré, Revantha Ramanayake, Ian Shillito

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2021

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics.

A. R. Balasubramanian, Timo Lang, Revantha Ramanayake

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Extended Kripke lemma and decidability for hypersequent substructural logics.

Revantha Ramanayake

Proceedings of the LICS '20: 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020

2019

Display to Labelled Proofs and Back Again for Tense Logics.

Agata Ciabattoni, Tim Lyon, Revantha Ramanayake, Alwen Tiu

CoRR, 2019

Sequentialising Nested Systems.

Elaine Pimentel, Revantha Ramanayake, Björn Lellmann

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Bounded Sequent Calculi for Non-classical Logics via Hypersequents.

Agata Ciabattoni, Timo Lang, Revantha Ramanayake

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

Substructural logics: <i>semantics, proof theory, and applications.</i> report on the second SYSMICS workshop.

Agata Ciabattoni, Francesco A. Genco, Revantha Ramanayake

ACM SIGLOG News, 2018

Inducing syntactic cut-elimination for indexed nested sequents.

Revantha Ramanayake

Log. Methods Comput. Sci., 2018

From Display to Labelled Proofs for Tense Logics.

Agata Ciabattoni, Tim Lyon, Revantha Ramanayake

Proceedings of the Logical Foundations of Computer Science - International Symposium, 2018

2017

Bunched Hypersequent Calculi for Distributive Substructural Logics.

Agata Ciabattoni, Revantha Ramanayake

Proceedings of the LPAR-21, 2017

2016

Power and Limits of Structural Display Rules.

Agata Ciabattoni, Revantha Ramanayake

ACM Trans. Comput. Log., 2016

Non-commutative classical arithmetical sequent calculi are intuitionistic.

Revantha Ramanayake

Log. J. IGPL, 2016

A purely syntactic proof of decidability for BI.

Revantha Ramanayake

CoRR, 2016

From Axioms to Proof Rules, then add Quantifiers.

Revantha Ramanayake

Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., 2016

2015

Embedding the hypersequent calculus in the display calculus.

Revantha Ramanayake

J. Log. Comput., 2015

2014

Cut-elimination for Weak Grzegorczyk Logic Go.

Rajeev Goré, Revantha Ramanayake

Stud Logica, 2014

Hypersequent and Display Calculi - a Unified Perspective.

Agata Ciabattoni, Revantha Ramanayake, Heinrich Wansing

Stud Logica, 2014

2013

Structural Extensions of Display Calculi: A General Recipe.

Agata Ciabattoni, Revantha Ramanayake

Proceedings of the Logic, Language, Information, and Computation, 2013

2012

Valentini's Cut-Elimination for Provability Logic resolved.

Rajeev Goré, Revantha Ramanayake

Rev. Symb. Log., 2012

Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents.

Rajeev Goré, Revantha Ramanayake

Proceedings of the Advances in Modal Logic 9, 2012