TANAKA Shotaro

J-GLOBAL         Last updated: Jan 18, 2008 at 00:00
 
Avatar
Name
TANAKA Shotaro

Research Areas

 
 

Academic & Professional Experience

 
1955
 - 
1985
A teacher → A middle manager
 
1985
 - 
2002
A assistant profesor → A profesor
 

Education

 
 
 - 
1953
Faculty of Science, Tokyo University of Science
 

Misc

 
A New Axiom Systems of propositional calculus and B-algebras
Mathematica Japonica   30(6) 971-979   1980
A New Interpretation of Zeno's Paradoxes-Logically Symbolized Demonstration-
Research Bulletin of Natural Sciences, Naruto University of Education   8,1-8    1993
On variants of axiom systems of propositional calculi(1)
Proceedings of Japan Academy   42(2) 108-110   1967
On the proposition CδCpqCδpδq
Proceedings of Japan Academy   45(2) 95-96   1968
A new class of algebras
Mathematics Seminar Notes, Kobe University   3(5) 37-43   1975

Books etc

 
Unsolved Problems on The Mathematics for the 21st Century(jointly worked)
IOS Press   2001   
An Enlargemant of Therems for Sentential Calculus
IOS Press, Advances in Logic, Artificial Intelligence and Robotics   2002   

Research Grants & Projects

 
Study of Foundation of BCK-algebras
Project Year: 1966   
Application of Symbolic Logic to Learning Mathematics
Project Year: 1980   
Pythagorean angles
Project Year: 1998   
Single Axiom of Boolean algebra
Project Year: 2002 - 2003