Komori, Yuichi

J-GLOBAL         Last updated: Jun 22, 2015 at 11:03
 
Avatar
Name
Komori, Yuichi
URL
http://komoriyuichi.web.fc2.com/
Degree
Doctor of Science

Research Areas

 
 

Association Memberships

 
 

Misc

 
Ken etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda
Studia Logica      May 2015
© 2015 Springer Science+Business Media Dordrecht The third author gave a natural deduction style proof system called the (Formula presented.)-calculus for implicational fragment of classical logic in (Komori, Tsukuba J Math 37:307–320, 2013). In (...
Yamakawa Fumika, Komori Yuichi
RIMS Kokyuroku   1915 1-10   Sep 2014
Yuichi Komori
Bulletin of the Section of Logic   31 65-70   Jan 2002
In this note, we will pose a new system, named γ{calculus. While the type assignment system TA gives a natural deduction for intuitionistic implicational logic, the type assignment system TAγ gives a natural de- duction for classical implicational...
古森 雄一, コモリ ユウイチ
BULLETIN OF THE SECTION OF LOGIC   30(2)    Feb 2001
Humberstone has defined the notion of a Komori algebra. The present author feels that he would not violate property rights if he broadened the notion of a Komori algebra yet further. The aim of this paper is to do just that and then prove a genera...
Yuichi Komori
Bulletin of the Section of Logic   30 67-70   Jan 2001

Published Papers

 
Yuichi Komori,Naosuke Matsuda,Fumika Yamakawa
Studia Logica   102(1) 175-183   2014   [Refereed]
Sachio Hirokawa,Yuichi Komori,Misao Nagayama
J. Symb. Log.   65(4) 1841-1849   2000   [Refereed]
Sachio Hirokawa,Yuichi Komori,Izumi Takeuti
Studia Logica   56(3) 419-426   1996   [Refereed]
Yuichi Komori
Studia Logica   53(3) 397-416   1994   [Refereed]
Yuichi Komori,Sachio Hirokawa
J. Symb. Log.   58(2) 626-628   1993   [Refereed]