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

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.

Bibliographic Details

Published in:	Bulletin of the Section of Logic Vol. 45; no. 2; pp. 93 - 109
Main Authors:	Robles, Gemma, López, Sandra M., Blanco, José M., Recio, Marcos M., Paradela, Jesús R.
Format:	Journal Article
Language:	English
Published:	Warsaw University of Łódź 2016
Subjects:	Logic Semantics
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!