Takumi MoriyamaJapan Advanced Institute of Science and Technology · Advanced Science Institute
Bachelor of Science
I'm intereseted in multi-valued or not holding LEM logic.
Skills and Expertise
Define a new logic which has both multi-valued-semantics and proof theoretical semantics and both semantics have computer scientific intuition/application.