The Notion of Logical Rejection and a Proof of L-decidability of the Classical Propositional Logic

スポンサーリンク

概要

• 論文の詳細を見る

• I. A historical remark on the notion of 'rejection'II. General remarks on the deductive systems with rejected axioms and rejective rulesIII. A proof of Ł-completeness of the Classical Propositional Logic supplied with a rejected axiom and rules of rejection

著者

• Waragai Toshiharu

  Graduate School Of Keio University

• 藁谷 敏晴

  Graduate School of Keio University

関連論文

• A remark on the semantic category of the Lukasiewicz rejection-symbol : Addendum to "The notion of Rejection and a Proof of L-Completeness of the Two-Valued Logic"
• The Notion of Logical Rejection and a Proof of L-decidability of the Classical Propositional Logic

スポンサーリンク