Scholar

Revantha Ramanayake

Google Scholar ID: AadHBmQAAAAJ

University of Groningen

structural proof theorynon-classical logicslogics

Homepage↗Google Scholar↗

Citations & Impact

All-time

Citations

214

H-index

9

i10-index

8

Publications

20

Co-authors

0

Contact

No contact links provided.

Publications

5 items

Hypersequent Calculi Have Ackermannian Complexity

2026

Cited

0

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy

2025

Cited

0

Complexities of Well-Quasi-Ordered Substructural Logics

2025

Cited

0

Propositional Dynamic Logic has Craig Interpolation: a tableau-based proof

2025

Cited

0

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations

arXiv.org · 2023

Cited

2

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)