Kanagawa University · Faculty of Informatics

Research keywords直観主義論理・数理論理学・非古典論理・証明論

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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

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

• Official profile