論理学分類 logic moc リンク集 Introduction to Mathematical Logic http://web.yl.is.s.u-tokyo.ac.jp/~tatsuo/types/types20011101.pdf https://abelard.flet.keio.ac.jp/person/mitsu/pdf/nyumon_logic.pdf 分類 古典論理 命題論理 述語論理 非古典論理 直観主義論理: 排中律無い, 構成論理 様相論理: 可能性や必然性を取り入れた 時相論理: 時間の要素を表現できる 多値論理: 3値以上の値がある体系 ternary logic: 0, 1, ⊥ (bot: 無効値)の3値論理 ファジー論理: [0,1]の実数値で論理を考える 線形論理: 資源の概念を扱える