直観主義命題論理のリンデンバウム代数について(非古典論理とKripke意味論の新局面)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 佐々木 克己

  南山大学経営学部

関連論文

• 直観主義命題論理のリンデンバウム代数について(非古典論理とKripke意味論の新局面)
• 単純代入特性と公理X$_n$(数理論理学とその応用)
• L JにCDN-公理を追加してできる中間論理について(数学基礎論とその応用)

スポンサーリンク