計算機を利用したKleeneの三値論理公理系(II)の作成
スポンサーリンク
概要
- 論文の詳細を見る
In the preceding paper, we have already axiomatized S. C Kleene's three-valued logic, using "⊂,〓,=" as the undefined operators. In this paper, we show another Kleene's three-valued logic axioms. Other tautologies are selected to construct the canonical forms of logical functions for Kleene's truth table. By treating these tautologies as logical epuations by a computer, their general solutions, independency and consistency are shown.
- 明治大学の論文
著者
関連論文
- FDSによる非数値情報処理システムの構成
- 四値論理による公理系の性質および独立性の証明について
- 計算機を利用したKleeneの3値論理公理系(2)の作成
- 計算機を利用したKleeneの三値論理公理系(II)の作成
- 特殊な四値論理を用いてWajsbergの三値論理公理系の改良 (多値論理およびその応用)
- 計算機を用いて多値論理の公理系の論理関数の標準形を決定する方法について
- 命題論理の恒真式を計算機を用いて求める方法および恒真式の性質について
- 多値論理の公理系の独立性および完全性の証明について
- 多値論理の公理の一般形より真理値表を計算機で直接導く方法について
- 計算機を用いたH.Rasiowaの二値論理公理系の改良について
- 多値論理の演算法則と公理との関係について (多値論理およびその応用 II)
- 多値論理概説 (多値論理およびその応用研究会報告集)