Interests
Interests
I am interested in distinctions between different logical systems. My research and study focus primarily on non-classical logic and philosophical logic. I am also interested in proof theory, arithmetic, and philosophy of art ( I minored in contemporary art as an undergraduate ).
Kobe University, Graduate School of System Informatics
2021/4 - 2025/3Waseda University, Faculty of Fundamental Science and Engineering, Department of Mathematics