Geodesic
A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
Bulletin of the Section of Logic, Tome 45 (2016) no. 2.

Voir la notice de l'article provenant de la source Library of Science

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.
Keywords: Relevant logics, many-valued logics, 4-valued logics, 2-set-up Routley-Meyer semantics 
@article{BSL_2016_45_2_a0,
     author = {Robles, Gemma and L\'opez, Sandra M. and Blanco, Jos\'e M. and Recio, Marcos M. and Paradela, Jes\'us R.},
     title = {A 2-set-up {Routley-Meyer} {Semantics} for the 4-valued {Relevant} {Logic} {E4}},
     journal = {Bulletin of the Section of Logic},
     publisher = {mathdoc},
     volume = {45},
     number = {2},
     year = {2016},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2016_45_2_a0/}
}
TY  - JOUR
AU  - Robles, Gemma
AU  - López, Sandra M.
AU  - Blanco, José M.
AU  - Recio, Marcos M.
AU  - Paradela, Jesús R.
TI  - A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
JO  - Bulletin of the Section of Logic
PY  - 2016
VL  - 45
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2016_45_2_a0/
LA  - en
ID  - BSL_2016_45_2_a0
ER  - 
%0 Journal Article
%A Robles, Gemma
%A López, Sandra M.
%A Blanco, José M.
%A Recio, Marcos M.
%A Paradela, Jesús R.
%T A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4
%J Bulletin of the Section of Logic
%D 2016
%V 45
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2016_45_2_a0/
%G en
%F BSL_2016_45_2_a0
Robles, Gemma; López, Sandra M.; Blanco, José M.; Recio, Marcos M.; Paradela, Jesús R. A 2-set-up Routley-Meyer Semantics for the 4-valued Relevant Logic E4. Bulletin of the Section of Logic, Tome 45 (2016) no. 2. http://geodesic.mathdoc.fr/item/BSL_2016_45_2_a0/