Skip to Content Skip to Navigation

Over ons Praktische zaken Waar vindt u ons D.R.S. (Revantha) Ramanayake, Prof

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

Assistant Professor

Profielfoto van D.R.S. (Revantha) Ramanayake, Prof

Faculteit Science and Engineering

Telefoon:

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)

Publicaties

Deducibility in the Full Lambek Calculus with Weakening Is HAck-Complete

Rodrigues Greati, V. & Ramanayake, R., 21-okt.-2024, (E-pub ahead of print) Proceedings of Advances in Modal Logic (AiML 2024). College Publications, blz. 401-422 21 blz.

Onderzoeksoutput › › peer review

Implementing Intermediate Logics

Haaksema, B., Otten, J. & Ramanayake, R., 1-jul.-2024, Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics {(ARQNL} 2024) affiliated with the 12th International Joint Conference on Automated Reasoning {(IJCAR} 2024. Benzmüller, C., Otten, J. & Ramanayake, R. (uitgave). CEUR Workshop Proceedings (CEUR-WS.org), Vol. 3875. blz. 14-23 9 blz.

Onderzoeksoutput › › peer review

Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024)

Benzmüller, C. (Redacteur), Otten, J. (Redacteur) & Ramanayake, R. (Redacteur), 1-jul.-2024, CEUR Workshop Proceedings (CEUR-WS.org).

Onderzoeksoutput › › peer review

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. (uitgave). College Publications, blz. 79-98 20 blz.

Onderzoeksoutput › › 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. (Redacteur) & Urban, J. (Redacteur), 2023, Cham: Springer. (Lecture Notes in Computer Science; vol. 14278)

Onderzoeksoutput › › peer review

Cut-Restriction: From Cuts to Analytic Cuts

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

Onderzoeksoutput › › 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, blz. 635-668

Onderzoeksoutput › › 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. (uitgave). Cham: Springer, blz. 299-313 14 blz. ( Lecture Notes in Computer Science; vol. 12842)(Lecture Notes in Artificial Intelligence ; vol. 12842).

Onderzoeksoutput › › peer review

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 blz.

Onderzoeksoutput › › peer review

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 blz., 2.

Onderzoeksoutput › › peer review

Alle (26) publicaties

Bekijk volledig onderzoeksprofiel

Volg de RUGfacebook linkedin rss instagram youtube