9. 直観主義論理
クリプキモデルを用いた意味論
⊩ を世界w 2 W と論理式A との二項関係とする.w ⊩ A を「世界
w において論理式A が実現可能である」という意味になるように
以下で帰納的に定義する.
定義
論理式の解釈
1 w ⊩ A iff A 2 V(w)
2 w ⊩ A ^ B iff w ⊩ A かつw ⊩ B
3 w ⊩ A _ B iff w ⊩ A またはw ⊩ B
4 w ⊩ A ! B iff すべてのw w′であるw′について,w′ ⊩
A ならばw′ ⊩ B
5 w ⊩ :A iff すべてのw w′であるw′について,w′ ⊮ A
また,w w′ならばV(w) V(w′) より,
w ⊩ A かつw w′ならばw′ ⊩ A が成立する.