Get started
Author

Revantha Ramanayake

Observed names: R. Ramanayake, REVANTHA RAMANAYAKE, Ramanayake, Revantha, Ramanayake, Revantha; id_orcid 0000-0002-7940-9065
Observed institutions: Centre National de la Recherche Scientifique, École Polytechnique, TU Wien, University of Groningen, Laboratoire d'Informatique de l'École Polytechnique, Wolfgang Pauli Institute
ORCID: 0000-0002-7940-9065
Observed ORCID: 0000-0002-7940-9065
OpenAlex ID: A5001826398
Valentini’s Cut-elimination for Provability Logic Resolved
2012 · RAJEEV GORÉ, REVANTHA RAMANAYAKE · The Review of Symbolic Logic · 35
Labelled Tree Sequents, Tree Hypersequents and Nested (Deep) Sequents
2012 · Rajeev Goré, Revantha Ramanayake · 35
Hypersequent and Display Calculi – a Unified Perspective
2014 · Agata Ciabattoni, Revantha Ramanayake, et al. · Studia Logica · 25
Power and Limits of Structural Display Rules
2016 · Agata Ciabattoni, Revantha Ramanayake · ACM Transactions on Computational Logic · 24
From Display to Labelled Proofs for Tense Logics
2017 · Agata Ciabattoni, Tim Lyon, et al. · Lecture notes in computer science · 14
Structural Extensions of Display Calculi: A General Recipe
2013 · Agata Ciabattoni, Revantha Ramanayake · Lecture notes in computer science · 14
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq
2021 · Rajeev Goré, Revantha Ramanayake, et al. · Lecture notes in computer science · 13
Embedding the hypersequent calculus in the display calculus
2014 · R. Ramanayake · Journal of Logic and Computation · 12
Sequentialising Nested Systems
2019 · Elaine Pimentel, Revantha Ramanayake, et al. · Lecture notes in computer science · 10
Display to Labeled Proofs and Back Again for Tense Logics
2021 · Agata Ciabattoni, Tim S. Lyon, et al. · ACM Transactions on Computational Logic · 6
Display to Labeled Proofs and Back Again for Tense Logics
2021 · Ciabattoni, Agata, Lyon, Tim, et al. · PhilPapers (PhilPapers Foundation) · 6
Bounded Sequent Calculi for Non-classical Logics via Hypersequents
2019 · Agata Ciabattoni, Timo Lang, et al. · Lecture notes in computer science · 6
Bunched Hypersequent Calculi for Distributive Substructural Logics
2018 · Agata Ciabattoni, Revantha Ramanayake · EPiC series in computing · 6
PDF
Inducing Syntactic Cut-Elimination for Indexed Nested Sequents
2016 · Revantha Ramanayake · Lecture notes in computer science · 6
Cut-Restriction: From Cuts to Analytic Cuts
2023 · Agata Ciabattoni, Timo Lang, et al. · Proceedings - Symposium on Logic in Computer Science · 5
Bounded-analytic Sequent Calculi and Embeddings for Hypersequent Logics
2021 · AGATA CIABATTONI, TIMO LANG, et al. · Journal of Symbolic Logic · 5
PDF
Extended Kripke lemma and decidability for hypersequent substructural logics
2020 · Revantha Ramanayake · Proceedings - Symposium on Logic in Computer Science · 5
Cut-elimination for Weak Grzegorczyk Logic Go
2012 · Rajeev Goré, Revantha Ramanayake · Studia Logica · 5
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics
2021 · A. R. Balasubramanian, Timo Lang, et al. · Proceedings - Symposium on Logic in Computer Science · 3
PDF
Inducing syntactic cut-elimination for indexed nested sequents
2018 · Revantha Ramanayake · Logical Methods in Computer Science · 2
PDF
Non-commutative classical arithmetical sequent calculi are intuitionistic
2016 · Revantha Ramanayake · Logic Journal of IGPL · 2
Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
2025 · Tim S. Lyon, Agata Ciabattoni, et al. · Bulletin of the Section of Logic · 1
PDF
Substructural logics
2018 · Agata Ciabattoni, Francesco A. Genco, et al. · ACM SIGLOG News · 1
A purely syntactic proof of decidability for BI.
2016 · Revantha Ramanayake · arXiv (Cornell University) · 1
From Axioms to Proof Rules, then add Quantifiers.
2016 · Revantha Ramanayake · 1
Works count: 53
Citation count: 244
H-index: 9
I10-index: 9
Year
Topic
Type