TY - JOUR
TI - An axiomatization of Wansing's expansion of Nelson's logic
AU - Omori, Hitoshi
TI - An axiomatization of Wansing's expansion of Nelson's logic
AB - 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.
VL - 2015
IS - Number 50
PY - 2015
SN - 0137-2904
C1 - 2084-2589
SP - 41
EP - 51
DO - 10.4467/20842589RM.15.003.3912
UR - https://ejournals.eu/en/journal/reports-on-mathematical-logic/article/an-axiomatization-of-wansings-expansion-of-nelsons-logic
KW - Nelson’s logic; intuitionistic logic; Jankov’s logic; nonmonotonic reasoning; axiomatization