条件論理C_bとそのタブローシステム

抄録

条件論理とは様相論理の一種で、日常推論の条件文を分析するための体系である。しかしこれまでに提案されたものは、いずれも推論としては問題が残っている上、一部は対応する証明システムが存在せず、分析の過程が視覚的に把握しづらい。そこで本研究では、日常推論をより適格にモデル化し、なおかつ証明システム、タブローをもつ論理体系C_bを提案する。さらに、条件論理としての妥当性を他の論理体系との比較によって示す。