命題論理の恒真式を計算機を用いて求める方法および恒真式の性質について
スポンサーリンク
概要
著者
関連論文
- 四値論理による公理系の性質および独立性の証明について
- 計算機を利用したKleeneの3値論理公理系(2)の作成
- 計算機を利用したKleeneの三値論理公理系(II)の作成
- 特殊な四値論理を用いてWajsbergの三値論理公理系の改良 (多値論理およびその応用)
- 計算機を用いて多値論理の公理系の論理関数の標準形を決定する方法について
- 命題論理の恒真式を計算機を用いて求める方法および恒真式の性質について
- 多値論理の公理系の独立性および完全性の証明について
- 多値論理の公理の一般形より真理値表を計算機で直接導く方法について