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:

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

Szczegóły
Abstrakt

Tytuł:: An axiomatization of Wansing's expansion of Nelson's logic
Autorzy:: Omori, H.
Data publikacji:: 2015
Słowa kluczowe:: Nelson’s logic
intuitionistic logic
Jankov’s logic
nonmonotonic reasoning
axiomatization
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

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.

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

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