Natural Deduction for Dual-intuitionistic Logic

作者：Tranchini Luca^*

来源：Studia Logica, 2012, 100(3): 631-648.

DOI：10.1007/s11225-012-9417-8

• Dual-intuitionism
• Natural deduction
• Multiple conclusions

We present a natural deduction system for dual-intuitionistic logic. Its distinctive feature is that it is a single-premise multiple-conclusions system. Its relationships with the natural deduction systems for intuitionistic and classical logic are discussed.

• 出版日期2012-6