AN AXIOMATIZATION OF WANSING'S EXPANSION OF NELSON'S LOGIC

作者：Omori Hitoshi^*

来源：Reports on Mathematical Logic, 2015, 50: 41-51.

DOI：10.4467/20842589RM.15.003.3912

• Nelson's logic
• intuitionistic logic
• Jankov's logic
• nonmonotonic reasoning
• axiomatization

The present note offers an axiomatization for an expansion of Nelson's logic motivated by Heinrich Wansing which serves as a base logic for the framework of nonmonotonic reasoning considered by Dov Gabbay and Raymond Turner. We also show that the expansion of Wansing is not conservative over intuitionistic logic, but at least as strong as Jankov's logic.

• 出版日期2015