Basic Logicを含むFitchの論理について
スポンサーリンク
概要
- 論文の詳細を見る
- 東日本国際大学の論文
- 1987-01-31
著者
関連論文
- 系列化課題の解決過程 : 人間とLISPによる処理プロセスの比較
- レスニェウスキー存在論の命題論理的部分系の完全性について(商経科改組転換記念号)
- 非恒真式の集合とその公理化
- レスニェウスキー存在論の命題論理的部分系の完全性に対するルカシェーヴィッチ式証明について
- 古典命題論理の完全性について : ルカシェーヴィッチの証明をめぐって
- 様相論理における公理的拒否について
- コンスタントな命題を含む古典命題論理について(高崎譲治教授還暦記念論文集)
- 概念実在論の擁護 : レスニェウスキ-存在論の立場から
- 完全帰納法の公理を含まない算術の無予盾性について
- 充足の公理的定式化