A note on Wansing's expansion of Nelson's logic : a correction to "An axiomatization of Wansing's expansion of Nelson's logic"

• Autorzy: Omori H.

Identyfikatory

DOI

10.4467/20842589RM.16.009.5286

• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

Nelson's logic; subintuitionistic logic; axiomatization

• Wydawca: Wydawnictwo Uniwersytetu Jagiellońskiego
• Czasopismo: Reports on Mathematical Logic
• Rocznik: 2016
• Tom: Vol. 51
• Strony: 133--144
• Opis fizyczny: Bibliogr. 4 poz., rys.

Twórcy

autor

Omori H.

• Department of Philosophy Kyoto University Japan, https://sites.google.com/site/hitoshiomori/home

Bibliografia

• [1] S. P. Odintsov, The class of extensions of Nelson paraconsistent logic, Studia Logica 80 (2005), 291-320.
• [2] H. Omori, An axiomatization of Wansing's expansion of Nelson's logic, Reports on Mathematical Logic 50 (2015), 41-51.
• [3] G. Restall, Subintuitionistic Logics, Notre Dame Journal of Formal Logic 35:1 (1994), 116-126.
• [4] H. Wansing, Semantics-based Nonmonotonic Inference, Notre Dame Journal of Formal Logic 36:1 (1995), 44-54.

Uwagi

PL

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę.