D.R.S. (Revantha) Ramanayake, PhD

Assistant Professor

Faculty of Science and Engineering

Telephone:

+31 50 36 33939

E-mail:

d.r.s.ramanayake rug.nl

ORCID Research Portal

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)

Publications

Analytic Proof Theory for Aqvist's System F

Ciabattoni, A., Olivetti, N., Parent, X., Ramanayake, R. & Rozplokhas, D., Jul-2023, Deontic Logic and Normative Systems: 16th International Conference, DEON 2023. Maranhão, J., Peterson, C., Straßer, C. & van der Torre, L. (eds.). College Publications, p. 79-98 20 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Ramanayake, R. (Editor) & Urban, J. (Editor), 2023, Cham: Springer. (Lecture Notes in Computer Science; vol. 14278)

Research output: Book/Report › Book › Academic › peer-review

Cut-Restriction: From Cuts to Analytic Cuts

Ciabattoni, A., Lang, T. & Ramanayake, R., 2023, Cut-Restriction: From Cuts to Analytic Cuts. IEEE, p. 1-13 13 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

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-668

Research output: Contribution to journal › Article › Academic › peer-review

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

All (23) publications

View full research profile

D.R.S. (Revantha) Ramanayake, PhD

Research interests

Publications

Analytic Proof Theory for Aqvist's System F

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Cut-Restriction: From Cuts to Analytic Cuts

Bounded-analytic sequent calculi and embeddings for hypersequent logics

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

Decidability and Complexity in Weakening and Contraction Hypersequent Substructural Logics

Display to Labeled Proofs and Back Again for Tense Logics

Extended Kripke lemma and decidability for hypersequent substructural logics

Bounded Sequent Calculi for Non-classical Logics via Hypersequents

Sequentialising Nested Systems