Takumi Moriyama

Takumi Moriyama
Japan Advanced Institute of Science and Technology · Advanced Science Institute

Bachelor of Science

About

Introduction
I'm intereseted in multi-valued or not holding LEM logic.
Skills and Expertise
Pure Mathematics
Discrete Mathematics
Graph Τheory

Projects

Project (1)
research for relation between multi-valued-logic and Computer Science
Project
Define a new logic which has both multi-valued-semantics and proof theoretical semantics and both semantics have computer scientific intuition/application.
View