| 演題番号 | 3H2-OS3-3 |
|---|---|
| 題目 | 条件論理C_bとそのタブローシステム |
| 著者 | 尾崎 有梨(お茶の水女子大学大学院人間文化創成科学研究科 理学専攻) 戸次 大介(お茶の水女子大学 大学院人間文化創成科学研究科) |
| 時間 | 06月03日(Fri) 13:40〜14:00 |
| 概要 | 条件論理とは様相論理の一種で、日常推論の条件文を分析するための体系である。しかしこれまでに提案されたものは、いずれも推論としては問題が残っている上、一部は対応する証明システムが存在せず、分析の過程が視覚的に把握しづらい。そこで本研究では、日常推論をより適格にモデル化し、なおかつ証明システム、タブローをもつ論理体系C_bを提案する。さらに、条件論理としての妥当性を他の論理体系との比較によって示す。 |
| 論文 | PDFファイル |