Heyting Valued Set Theory (数学基礎論)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 千谷 慧子

  Chubu University

• 竹内 外史

  イリノイ大学

• 千谷 慧子

  ワシントン大学

関連論文

• UNIVERSE OF QUANTUM SET THEORY
• NUMBERS IN A LATTICE VALUED SET THEORY(New Aspects in Non-Classical Logics and Their Kripke Semantics)
• A WEAK SET THEORY WITH GLOBALIZATION(Non-Classical Logics and Their Kripke Semantics)
• Heyting Valued Set Theory (数学基礎論)
• Bounded Arithmeticと計算量の根本問題
• ファジィへの提言--数学基礎論から (ファジィ理論--最近の展開と応用)
• Silver Machineについて (数学基礎論)
• 数学について

スポンサーリンク