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

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Nelson's logic

Sortuj według:

Ogranicz wyniki do:

Refutations in wansing's logic

100%

Skura T.

Reports on Mathematical Logic

2017

tom Vol. 52

83--99

A refutation system for Wansing's logicW(which is an expansion of Nelson's logic) is given. The refutation system provides an ecient decision procedure for W. The procedure consists in constructing for any normal form afinite syntactic tree with the property that the origin is non-valid iff some end node is non-valid. The finite model property is also established.

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.