アリストテレス式三段論法に基づく定理の自動証明
スポンサーリンク
概要
著者
関連論文
- 経路追従制御の考え方を用いた資格取得への意識と行動に関する考察
- A logical version of parsing
- 最小論理とノヴィコフの公理系との関連について
- アリストテレス式三段論法に基づく定理の自動証明
- The Embedding of Prolog in Constructive Logic with Strong Negation
- 強い否定を含む構成的理論による分解証明法の定式とメタ理論
- 下降型縦型探索を行なう自然言語の構文解析のゲンツェン式定式化
- コンスタントな命題を中心とする古典命題論理
- 強い否定を含む構成的命題論理における公理の単純化
- 強い否定を含む構成的述語論理によるPROLOGの解釈
- 知識と信念の論理の双様相論理による定式化
- A Gentzen-type Formulation of Top-down