Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

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

Szczegóły
Abstrakt

Tytuł:: A note on Wansing's expansion of Nelson's logic : a correction to "An axiomatization of Wansing's expansion of Nelson's logic"
Autorzy:: Omori, H.
Data publikacji:: 2016
Słowa kluczowe:: Nelson's logic
subintuitionistic logic
axiomatization
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

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.

Opracowanie ze środków MNiSW w ramach umowy 812/P-DUN/2016 na działalność upowszechniającą naukę.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

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