論理体系
Q. 非形式論理には自明な体系しか わからない？ wint.icon 対立
古典 / 非古典
直観主義論理
様相論理
多値論理
逸脱論理
命題、術語
ゼロ項述語？ wint.icon
0 vs N
（述語論理の）一階、二階
量化が なければ 0階？ wint.icon
様相の有無
決定可能性の有無
個体領域の有限、無限
有限モデル性の有無
古典 vs 非古典
上から移動する
list
古典命題論理、命題論理
古典述語論理、古典一階述語論理
単に述語論理
二階述語論理
直観主義命題論理
階数
0階論理
1階論理
2階論理
性質
表現力が高すぎて、推論が決定不能になる。
1項述語に制限したら決定可能
決定可能な断片
frame という有効グラフ上の意味論がある。
古典命題論理
単元フレームをモデルとする様相論理に埋め込める。
⊂ 様相論理
演繹手法
体系 / systems
ref.