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:

Relational semantics for the 4-valued relevant logics BN4 and E4

Szczegóły
Opis

Tytuł:: Relational semantics for the 4-valued relevant logics BN4 and E4
Autorzy:: Robles Gemma
Blanco José M.
López Sandra M.
Paradela Jesús R.
Recio Marcos M.
Data publikacji:: 2016-04-25
Tematy:: relevant logics
many-valued logics
4-valued logics
Routley-Meyer semantics
Język:: angielski
Dostawca treści:: CEJSH
: Artykuł

Przejdź do źródła

The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.

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

Relational semantics for the 4-valued relevant logics BN4 and E4