A Note on Wansing's expansion of Nelson's logic
Hitoshi Omori · Reports on Mathematical Logic · 2016
A b s t r a c t. 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.