Wyniki wyszukiwania - BazTech

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

Skura T.

Reports on Mathematical Logic

2017

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"

Omori H.

Reports on Mathematical Logic

2016

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.