佐々木克巳研究室

自然演繹の体系とシークエントの体系

2000MM033 笠井正輝

タブローの方法による形式論理

2000MM048 九郎田宏之

様相論理の形式体系

2002MM001 安藤慎祐

述語計算における論証形式の証明可能性

2002MM085 篠原愛枝