「3値論理」の版間の差分
削除された内容 追加された内容
108行目:
1984年、[[レイモンド・ターナー]]（Raymond Turner）はクリーネの3値論理をベースに[[非単調論理#デフォルト推論|デフォルト推論]]の理論を展開している<ref>Turner, R.(1984). "Logics for Aritifical Interigence", Ellis Horwood, Chichester, 1984.</ref>。
クリーネの 3値論理は[[SQL]]等にも応用されている、SQLでは
=== ボフバールの3値論理 ===
| |||