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/