Basic Logicを含むFitchの論理について
スポンサーリンク
概要
- 論文の詳細を見る
- 東日本国際大学の論文
- 1987-01-31
著者
関連論文
- 系列化課題の解決過程 : 人間とLISPによる処理プロセスの比較
- レスニェウスキー存在論の命題論理的部分系の完全性について(商経科改組転換記念号)
- 非恒真式の集合とその公理化
- レスニェウスキー存在論の命題論理的部分系の完全性に対するルカシェーヴィッチ式証明について
- 古典命題論理の完全性について : ルカシェーヴィッチの証明をめぐって
- 様相論理における公理的拒否について
- コンスタントな命題を含む古典命題論理について(高崎譲治教授還暦記念論文集)
- 概念実在論の擁護 : レスニェウスキ-存在論の立場から
- 完全帰納法の公理を含まない算術の無予盾性について
- 充足の公理的定式化
- 初等レスニュウスキ-存在論のための新しい公理系
- 抽象を含むレスニェウスキー存在論について
- 自然言語の構文解析とLISPによるその処理
- Basic Logicを含むFitchの論理について
- 導出原理の構成的論理による解釈
- 強い否定を含む構成的論理によるPROLOGの定式化とLISPに基づくそのメタ論理
- 下降型縦型探索法を中心にした構文解析の論理構造に関する一考察
- レスニェウスキー存在論の一階述語論理的部分系と論理文法との関連について
- 強い否定を含む構成的命題論理と直観主義論理の関連について
- 強い否定を含む構成的命題論理について