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

Gemma Robles; Sandra M López; José M Blanco; Marcos M Recio; Jesús R Paradela

doi:10.18778/0138-0680.45.2.03

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

Gemma Robles, Sandra M López, José M Blanco, Marcos M Recio, Jesús R Paradela, Dpto. de Psicología Universidad de León, Dpto. de Filosofía Universidad de Salamanca, gemma.robles@unileon.es, u127548@usal.es, jmblanco@usal.es, marcosmanuelrecioperez@usal.es, jrparadela@hotmail.es

Source

Bulletin of the Section of Logic > Bulletin of the Section of Logic 45/2 (2016)

Abstract

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.