A Note on Wansing's expansion of Nelson's logic
A Note on Wansing's expansion of Nelson's logic

Summary/Abstract: The present note corrects an error made by the au- thor 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.

• Details
• Contents