An axiomatization of Wansing's expansion of Nelson's logic

• Autorzy: Omori H.

Identyfikatory

DOI

10.4467/20842589RM.15.003.3912

• Języki publikacji: EN

Abstrakty

EN

The present note offers 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 over intuitionistic logic, but at least as strong as Jankov’s logic.

Słowa kluczowe

EN

Nelson’s logic; intuitionistic logic; Jankov’s logic; nonmonotonic reasoning; axiomatization

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2015
• Tom: Vol. 50
• Strony: 41--51
• Opis fizyczny: Bibliogr. 6 poz.

Twórcy

autor

Omori H.

• The Graduate Center, City University of New York, USA Currently: Department of Philosophy, Kyoto University, Japan, https://sites.google.com/site/hitoshiomori/home

Bibliografia

• [1] D. M. Gabbay, Intuitionistic basis for non-monotonic logic, Proceedings of the 6th Conference on Automated Deduction, LNCS 138, Springer 1982, pp. 260–273.
• [2] N. Kamide and H. Wansing, Proof theory of Nelson’s paraconsistent logic: A uniform perspective, Theoretical Computer Science 415 (2012), 1–38.
• [3] S. P. Odintsov, The Class of Extensions of Nelson Paraconsistent Logic, Studia Logica 80 (2005), 291–320.
• [4] R. Turner, Logics for artificial intelligence, Ellis Horwood Ltd., 1985.
• [5] H. Wansing, Semantics-based Nonmonotonic Inference, Notre Dame Journal of Formal Logic 36 (1995), 44–54.
• [6] H. Wansing, Negation, in: The Blackwell Guide to Philosophical Logic, L. Goble, Ed., Basil Blackwell Publishers, Cambridge/MA 2001, pp. 415–436.