神奈川大学 · 情報学部

研究キーワード直観主義論理・数理論理学・非古典論理・証明論

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Improving Strong Negation
• Another Combination of Classical and Intuitionistic Conditionals
• A note on Humberstone's constant Ω
• Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

• 構成主義論理における矛盾解釈の研究

• 公式プロフィール