Scholar
Revantha Ramanayake
Google Scholar ID: AadHBmQAAAAJ
University of Groningen
structural proof theory
non-classical logics
logics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
214
H-index
9
i10-index
8
Publications
20
Co-authors
0
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
