A NOTE ON WANSING'S EXPANSION OF NELSON'S LOGIC A CORRECTION TO AN AXIOMATIZATION OF WANSING'S EXPANSION OF NELSON'S LOGIC

作者：Omori Hitoshi^*

来源：Reports on Mathematical Logic, 2016, 51: 133-144.

DOI：10.4467/20842589RM.16.009.5286

• Nelson's logic
• subintuitionistic logic
• axiomatization

The present note corrects an error made by the author in answering an open problem of axiomatizing an expansion of Nelson's logic introduced by Heinrich Wansing. It also gives a correct axiomatization that answers the problem by importing some results on subintuitionistic logics presented by Greg Restall.

• 出版日期2016