Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Current contact address
| Country | Japan |
|---|---|
| City | Tokyo |
| Institution | Cyber University |
| Institute | Faculty of Information Technology and Business |
Profile
| Research fields | Fundamentals of Mathematics, Logics, Set Theory,Theoretical Philosophy,Theoretical Computer Science |
|---|---|
| Keywords | completeness theorem, Substructural logic, cut-elimination theorem, modal operator, natural deduction system |