Welcome to my website.
I am currently a post-doctoral fellow at the International Laboratory for Logic, Linguistics and Formal Philosophy at HSE University, Moscow under the guidence of Professor Elena Dragalina-Chernaya. Before that, I was a visiting scientist at the Computer Science Unit of Indian Statistical Institute, Chennai under the guidance of Professor Sujata Ghosh. Even before that, I was a PhD student at Indraprastha Institute of Information Technology, Delhi under the supervision of Dr. Sankha Subhra Basu and Professor Mihir Kumar Chakraborty.
My main research interest lies in universal logic (à la Professor Jean Yves Béziau), advocating a structural and syntax-semantics-independent approach to logic. Philosophically, my approach to logic is similar to what is advocated in this paper. In a bit more detail, I am interested in the following topics.
Universal logic (in the sense of this paper)
Many-valued logics (in particular, Suszko's thesis)
Paraconsistency (in particular, language-independent notions of paraconsistency)
Universal model theory (in the sense of this paper)
Generalizations of Craig Interpolation Theorem(s), Robinson Joint Consistency Theorem(s) and Beth Definability Theorem(s)
Combinations of logical structures
Syntax-free Proof theory
If you want to contact me, please send an email to s.roy@hse.ru.