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"

スポンサーリンク

概要

• 論文の詳細を見る

• Father Bochenski, while in a conversation in this summer, mentioned of the unclearness of the Lukasiewicz rejection-symbol as to its logical status : whether it is a functor, and if so to what category it should belong. I have been feeling obliged to answer this question, for in my above mentioned work, I made essential use of the rejection-symbol as proposition forming functor.

著者

• 藁谷 敏晴

  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

スポンサーリンク