Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: subintuitionistic logic

Sortuj według:

Ogranicz wyniki do:

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.