Advanced Search

Match of the following rules

Add Sub-clause

Add Another Rule

Contains the following math formula (red border means the formula is incomplete)

Formula preview

The search session has expired. Please query the service again.

Currently displaying 1 – 1 of 1

Order by Relevance | Title | Year of publication

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 — 2016

Bulletin of the Section of Logic

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.

Page 1

Download Results (CSV)