@article{c3d7bfe6-1485-4bb7-b881-9a9f08d90907,
author = {Hitoshi Omori},
title = {An axiomatization of Wansing's expansion of Nelson's logic},
journal = {Reports on Mathematical Logic},
volume = {2015},
number = {Number 50},
year = {2015},
issn = {0137-2904},
pages = {41-51},keywords = {Nelson’s logic; intuitionistic logic; Jankov’s logic; nonmonotonic reasoning; axiomatization},
abstract = {The present note oers 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  intuitionistic logic, but at least as strong as Jankov's logic.},
doi = {10.4467/20842589RM.15.003.3912},
url = {https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/an-axiomatization-of-wansings-expansion-of-nelsons-logic}
}