Tohoku University · Graduate School of Information Science

Research keywordsfirst-degree entailment・intuitionistic logic・paraconsistent logic・Nelson logic・ordered-pair semantics・proof theory

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

• Haack meets Herzberger and Priest.Hitoshi Omori, Jonas Rafael Becker Arenhart
• Superconnexivity Reconsidered.Andreas Kapsner, Hitoshi Omori
• Questions to Michael DunnHeinrich Wansing, Grigory Olkhovikov, Hitoshi Omori
• A Note on Francez' Half-Connexive Formula.Hitoshi Omori

• 多値論理の一般化に関する哲学的研究大森 仁
• 真矛盾主義に関連する哲学及び論理学の研究大森仁
• 否定・様相性・非存在に関する論理的存在論の研究大森仁
• 自然言語における繋辞と含意に関する論理学的研究大森仁

• Official profile