Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 Reports on Mathematical Logic

2 Omori H.

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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

100%

Omori H.

Reports on Mathematical Logic

2015

tom Vol. 50

41--51

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.

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

100%

Omori H.

Reports on Mathematical Logic

2016

tom Vol. 51

133--144

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.