Mathematics
Hitoshi Omori
2016.9.14Reports on Mathematical Logic
Abstract
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.
Citation format
OMORI, Hitoshi. A note on wansing's expansion of nelson's logic. Reports on Mathematical Logic, 2016, 2016: 133–144.