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)
Fingerprint
Dive into the research topics where Revantha Ramanayake is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
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
-
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
Open AccessFile17 Downloads (Pure) -
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
Open Access -
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
Open AccessFile2 Citations (Scopus)1 Downloads (Pure) -
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 AccessFile4 Citations (Scopus)96 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
19 Citations (Scopus)