An axiomatization of Wansing's expansion of Nelson's logic
Choose format
RIS BIB ENDNOTEAn axiomatization of Wansing's expansion of Nelson's logic
Publication date: 21.10.2015
Reports on Mathematical Logic, 2015, Number 50, pp. 41-51
https://doi.org/10.4467/20842589RM.15.003.3912Authors
An axiomatization of Wansing's expansion of Nelson's logic
The present note o ers 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.
D. M. Gabbay, Intuitionistic basis for non-monotonic logic, Proceedings of the 6th Conference on Automated Deduction, LNCS 138, Springer 1982, pp. 260–273.
N. Kamide and H. Wansing, Proof theory of Nelson's paraconsistent logic: A uniform perspective, Theoretical Computer Science 415 (2012), 1–38.
S. P. Odintsov, The Class of Extensions of Nelson Paraconsistent Logic, Studia Logica 80 (2005), 291–320.
R. Turner, Logics for artificial intelligence, Ellis Horwood Ltd., 1985.
H. Wansing, Semantics-based Nonmonotonic Inference, Notre Dame Journal of For- mal Logic 36 (1995), 44–54.
H. Wansing, Negation, in: The Blackwell Guide to Philosophical Logic, L. Goble, Ed., Basil Blackwell Publishers, Cambridge/MA 2001, pp. 415–436.
Information: Reports on Mathematical Logic, 2015, Number 50, pp. 41-51
Article type: Original article
Department of Philosophy, Kyoto University, Japan
Published at: 21.10.2015
Article status: Open
Licence: None
Percentage share of authors:
Article corrections:
-Publication languages:
EnglishView count: 2086
Number of downloads: 1295