佐々木克巳研究室

様相論理におけるシークエント計算とクリプキモデル

2000MM054 宮嶋智久

述語計算LKにおける公理と推論規則の従属性

2000MM089 田中克典

自然数論における帰納的定義と数学的帰納法

2000MM093 戸松裕晴

自然演繹法による証明の形式化

2000MM104 山田悠介

直観主義論理のセマンティクス

2000MM108 吉田明