Regular version of the site

Contacts: Address: 21/4 Staraya Basmannaya Ulitsa, Building 5, room Б-513

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

universal logic
abstract paraconsistency
universal model theory
combination of logics
proof theory
Suszko's Thesis

Sayantan Roy

Research Fellow: International Laboratory for Logic, Linguistics and Formal Philosophy

Sayantan Roy has been at HSE University since 2025.

Professional Interests

universal logic abstract paraconsistency universal model theory combination of logics proof theory Suszko's Thesis