D.R.S. (Revantha) Ramanayake, Prof
Associate Professor in Proof Theory of Non-Classical Logics

E-mail:
d.r.s.ramanayake rug.nl
Field/Discipline
Expertise
Formal logic, non-classical logics (especially substructural and modal logics), proof theory, automated theorem proving, proof assistants
Last modified: | 31 March 2025 5.24 p.m. |