SASAKI Katsumi

J-GLOBAL         Last updated: Aug 5, 2004 at 00:00
 
Avatar
Name
SASAKI Katsumi
Affiliation
Nanzan University
Section
Faculty of Mathematical Sciences and Information Engineering, Department of Information Systems and Mathematical Sciences
Degree
(BLANK), Doctor(University of Amsterdam (The Netherlands))

Research Interests

 
 

Misc

 
The simple substitution property of the intermediate propositional logics
Bulletin of the Section of Logic   18,94-99    1989
The simple substitution property of Gödel's intermediate propositional logics Sn's
Studia Logica   49,47-57    1990
Finite logics and the simple substitution property(共著)
Bulletin of the Section of Logic   19,74-78    1990
The disjunction property of the logics with axioms of only one variable
Bulletin of the Section of Logic   21,40-46    1992
The simple substitution property of the intermediate propositional logics on finite slices
Studia Logica   52(1) 41-62   1993

Books etc

 
Logics and Provability
ILLC dissertation series, Institute. for Logic, Language and Computation University of Amsterdam)   2001   

Research Grants & Projects

 
Provability logic and its application