佐々木 克巳

J-GLOBALへ         更新日: 04/08/05 00:00
 
アバター
研究者氏名
佐々木 克巳
 
ササキ カツミ
URL
http://www.seto.nanzan-u.ac.jp/~sasaki/
所属
南山大学
部署
数理情報学部 情報システム数理学科
職名
助教授
学位
理学修士, Doctor

研究キーワード

 
 

研究分野

 
 

Misc

 
LJにCDN-公理を追加してできる中間論理について
数理解析研究所講究録   (772) 116-125   1991年
単純代入特性と公理Xn
数理解析研究所講究録   (818) 88-98   1992年
直観主義命題論理のリンデンバウム代数について
数理解析研究所講究録   (1010) 141-147   1997年
A cut-free sequent system for the smallest interpretability logic
Studia Logica   70, 353-372    2002年
On sequent system for bimodal provability logics MOS and PRL1
Bulletin of the Section of logic   31, 91-101    2002年

書籍等出版物

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

競争的資金等の研究課題

 
証明可能性の論理とその応用