Research output per year
Research output per year
Personal profile
Research interests
- Non-classical logics (substructural, modal, intermediate logics) and their applications in theoretical computer science
- Using proof theory to investigate various aspects of logics, like decidability, complexity, interpolation
- Structural proof theory: relative expressivity of proof formalisms
- Development of interactive/automated verification of structural proof theory using proof assistants
- Formal logics for the provability predicate of arithmetic (provability logics)
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Bounded-analytic sequent calculi and embeddings for hypersequent logics
Ramanayake, R., Lang, T. & Ciabattoni, A., Jun-2021, In: Journal of Symbolic Logic. 86, 2, p. 635-668Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Citations (Scopus)52 Downloads (Pure) -
Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using Coq
Gore, R., Ramanayake, R. & Shillito, I., 2021, Automated Reasoning with Analytic Tableaux and Related Methods. TABLEAUX 2021.. Das, A. & Negri, S. (eds.). Cham: Springer, p. 299-313 14 p. ( Lecture Notes in Computer Science; vol. 12842)(Lecture Notes in Artificial Intelligence ; vol. 12842).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
17 Citations (Scopus) -
Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics
Balasubramanian, A. R., Lang, T. & Ramanayake, R., 7-Jul-2021, 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 13 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
Open AccessFile2 Citations (Scopus)93 Downloads (Pure) -
Display to Labeled Proofs and Back Again for Tense Logics
Ciabattoni, A., Lyon, T., Ramanayake, R. & Tiu, A., 22-Jul-2021, In: ACM Transactions on Computational Logic. 22, 3, 31 p., 2.Research output: Contribution to journal › Article › Academic › peer-review
Open AccessFile2 Citations (Scopus)70 Downloads (Pure) -
Extended Kripke lemma and decidability for hypersequent substructural logics
Ramanayake, R., 8-Jul-2020, Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2020). ACM Press Digital Library, p. 795–806 12 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
3 Citations (Scopus)