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/