A note on Wansing's expansion of Nelson's logic: A correction to an axiomatization of Wansing's expansion of Nelson's logic

研究成果: ジャーナルへの寄稿学術論文査読

3 被引用数 (Scopus)

抄録

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.

本文言語英語
ページ(範囲)133-144
ページ数12
ジャーナルReports on Mathematical Logic
51
DOI
出版ステータス出版済み - 2016

フィンガープリント

「A note on Wansing's expansion of Nelson's logic: A correction to an axiomatization of Wansing's expansion of Nelson's logic」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル