藁谷 敏晴 | 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