佐々木 克巳 | 南山大学数理情報学部
スポンサーリンク
概要
関連著者
著作論文
- Normal forms in two normal modal logics (Formal Systems and Computality Theory)
- シークエント体系の証明図から実証明を作る方法
- ピレンヌ・テーゼをめぐる諸問題 : アンネ・リージング女史の学界展望を中心に
- Formulas with only one atomic formula in Grzegorczyk logic and provability logic(Proof Theory of Arithmetic)
- 証明可能性の論理と解釈可能性の論理におけるレーブの公理の性質を用いたカット除去定理の証明 (シークエント計算による証明論)