特殊な四値論理を用いてWajsbergの三値論理公理系の改良 (多値論理およびその応用)
スポンサーリンク
概要
著者
関連論文
- チェビシェフ最簡q関数を用いた曲線近似
- 中型機によるFORTRAN IV プログラムのエラーチェック
- 四値論理による公理系の性質および独立性の証明について
- 計算機を利用したKleeneの3値論理公理系(2)の作成
- 計算機を利用したKleeneの三値論理公理系(II)の作成
- 特殊な四値論理を用いてWajsbergの三値論理公理系の改良 (多値論理およびその応用)
- 計算機を用いて多値論理の公理系の論理関数の標準形を決定する方法について
- 命題論理の恒真式を計算機を用いて求める方法および恒真式の性質について
- 多値論理の公理系の独立性および完全性の証明について
- 多値論理の公理の一般形より真理値表を計算機で直接導く方法について
- 文部省科学研究費総合研究による「電子計算機の全国的総合利用法の研究」について
- 会長挨拶
- 国際計数センターのシンポジュームに出席して