コンスタントな命題を含む古典命題論理について(高崎譲治教授還暦記念論文集)
スポンサーリンク
概要
著者
関連論文
- レスニェウスキー存在論の命題論理的部分系の完全性について(商経科改組転換記念号)
- 非恒真式の集合とその公理化
- レスニェウスキー存在論の命題論理的部分系の完全性に対するルカシェーヴィッチ式証明について
- 古典命題論理の完全性について : ルカシェーヴィッチの証明をめぐって
- 様相論理における公理的拒否について
- コンスタントな命題を含む古典命題論理について(高崎譲治教授還暦記念論文集)
- 概念実在論の擁護 : レスニェウスキ-存在論の立場から
- 完全帰納法の公理を含まない算術の無予盾性について
- 充足の公理的定式化
- 初等レスニュウスキ-存在論のための新しい公理系
- 抽象を含むレスニェウスキー存在論について
- 自然言語の構文解析とLISPによるその処理
- Basic Logicを含むFitchの論理について