- 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 - Opis:
- 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.
- Źródło:
-
Bulletin of the Section of Logic; 2016, 45, 2
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł