Rchr
J-GLOBAL ID：200901079789110224
Update date: Jan. 30, 2024
Sasaki Katsumi
ササキ カツミ | Sasaki Katsumi
Affiliation and department：
Homepage URL (1)：
http://www.seto.nanzan-u.ac.jp/~sasaki/
Research field (3)：
Information theory
, Basic mathematics
, Primary/secondary education and curricula
Research keywords (2)：
論理
, Logic
Research theme for competitive and other funds (4)：
- 1995 - 1995 非古典論理における単純代入特性,及びそれのコンピュータへの応用の研究
- 1993 - 1993 非古典論理における単純代入特性、及びそれのコンピューターへの応用の研究
- 証明可能性の論理とその応用
- Provability logic and its application
MISC (32)：
-
A Cut-Free Gentzen Formulation of Basic Propositional Calculus. Journal of Logic, Language and Information. 2003. 12, 213-225
-
A sequent system for a sublogic of the smallest interpretability logic. 2003. 3, 1-17. 1-1
-
森 裕記, 佐々木 克巳. 2つの順序をもつクリプケモデルと2つの様相記号をもつ様相論理. 南山経営研究. 2003. 18. 3. 175-200
-
Provability and interpretability logics. 数学基礎論シンポジウム02報告集. 2003. 1-7
-
A sequent system for a sublogic of the smallest interpretability logic. Journal of the Nanzan Academic Society, Mathematical Science and Information Engineering. 2003. 3, 1-17
ｍore...
Books (2)：
-
失われたドーナツの穴を求めて
さいはて社 2017 ISBN:9784990956608
-
Logics and Provability
ILLC dissertation series, Institute. for Logic, Language and Computation University of Amsterdam 2001
Professional career (2)：
- (BLANK)
- Doctor (University of Amsterdam (The Netherlands))
Association Membership(s) (3)：
Association for Symbolic Logic
, アメリカ数学会(American Mathematical Society)
, 日本数学会
