A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4

Szczegóły
Opis

Tytuł:: A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
Autorzy:: Robles, Gemma
López, Sandra M.
Blanco, José M.
Recio, Marcos M.
Paradela, Jesús R.
Powiązania:: https://bibliotekanauki.pl/articles/749920.pdf
Data publikacji:: 2016
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:: Relevant logics
many-valued logics
4-valued logics
2-set-up Routley-Meyer semantics
Źródło:: Bulletin of the Section of Logic; 2016, 45, 2
0138-0680
2449-836X
Język:: angielski
Prawa:: CC BY-NC-ND: Creative Commons Uznanie autorstwa - Użycie niekomercyjne - Bez utworów zależnych 4.0
Dostawca treści:: Biblioteka Nauki
: Artykuł

Przejdź do źródła

The logic BN4 can be considered as the 4-valued logic of the relevant conditional and the logic E4, as the 4-valued logic of (relevant) entailment. The aim of this paper is to endow E4 with a 2-set-up Routley-Meyer semantics. It is proved that E4 is strongly sound and complete w.r.t. this semantics.

Informacja

Powiązane pozycje