Name Card

Full name Familienname, Vorname
RAMANAYAKE, Don Revantha Shiyan
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 40 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ciabattoni, Agata ; Olivetti, Nicola ; Parent, Xavier ; Ramanayake, Don Revantha Shiyan ; Rozplokhas, Dmitrii Analytic Proof Theory for Aqvist's System FInproceedings Konferenzbeitrag 28-Aug-2023
2Ciabattoni, Agata ; Lang, Timo Achim ; Ramanayake, Don Revantha Shiyan Cut-Restriction: From Cuts to Analytic CutsInproceedings Konferenzbeitrag 2023
3Gore, Rajeev ; Ramanayake, Revantha Cut-Elimination for Provability Logic by Terminating Proof-Search: Formalised and Deconstructed Using CoqKonferenzbeitrag Inproceedings 2021
4CIABATTONI, AGATA ; LANG, TIMO ; RAMANAYAKE, REVANTHA Bounded-analytic sequent calculi and embeddings for hypersequent logics.Artikel Article 2021
5Ciabattoni, Agata ; Lyon, Tim ; Ramanayake, Revantha ; Tiu, Alwen Display to Labeled Proofs and Back Again for Tense LogicsArtikel Article 2021
6Ramanayake, Revantha Extended Kripke lemma and decidability for hypersequent substructural logicsKonferenzbeitrag Inproceedings2020
7Ramanayake, Revantha Extended Kripke lemma and decidability for hypersequent substructural logicsPräsentation Presentation2020
8Pimentel, Elaine ; Ramanayake, Revantha ; Lellmann, Björn Sequentialising Nested SystemsKonferenzbeitrag Inproceedings 2019
9Ramanayake, Revantha Translating and Discovering Calculi for Modal and Related LogicsPräsentation Presentation2019
10Ramanayake, Revantha Structural proof theory: shedding structurePräsentation Presentation2019
11Ciabattoni, Agata ; Ramanayake, Revantha ; Lang, Timo Bounded sequent calculi for non-classical logics via hypersequentsKonferenzbeitrag Inproceedings 2019
12Ramanayake, Revantha A deduction theorem for non-commutative Full Lambek calculus with contraction FLcPräsentation Presentation2018
13Lyon, Tim ; Ramanayake, Revantha ; Ciabattoni, Agata From Display to Labelled Calculi for Tense LogicsKonferenzbeitrag Inproceedings 2018
14Ramanayake, Revantha Sequent calculi for substructural logics via bounded proofsPräsentation Presentation2018
15Ramanayake, Don Revantha Shiyan Inducing syntactic cut-elimination for indexed nested sequentsArtikel Article 2018
16Ciabattoni, Agata ; Genco, Francesco A. ; Ramanayake, Revantha Substructural logics: semantics, proof theory, and applications. Report on the second SYSMICS workshopArtikel Article2018
17Ramanayake, Revantha Investigating the decidability of transitive modal logics via labelled calculiPräsentation Presentation2017
18Ramanayake, Revantha A syntactic proof of decidability for the logic of Bunched Implication BIPräsentation Presentation2017
19Ramanayake, Revantha Syntactic decidability and complexity upper bound for the logic of Bunched Implication BIPräsentation Presentation2017
20Ramanayake, Revantha ; Lellmann, Björn General methods in proof theory for modal and substructural logicsPräsentation Presentation2017

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1van der Giessen-2023-Extensions ofK5 Proof Theory andUniform Lyndon Inter...-vor.pdf.jpgvan der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Extensions of K5: Proof Theory and Uniform Lyndon InterpolationInproceedings Konferenzbeitrag 14-Sep-2023
2Rawson, Michael ; Wernhard, Christoph ; Zombori, Zsolt ; Bibel, Wolfgang Lemmas: Generation, Selection, ApplicationInproceedings Konferenzbeitrag 14-Sep-2023
3Eisenhofer-2023-Non-Classical Logics inSatisfiability Modulo Theories-vor.pdf.jpgEisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura Non-Classical Logics in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag 14-Sep-2023
4Kuznets-2023-Always Look on Both Sides of Proof Syntax and Semantics as t...-vor.pdf.jpgKuznets, Roman Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof TheoryInproceedings Konferenzbeitrag 13-Sep-2023