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

• Autorzy: Gemma Robles , Sandra M. López , José M. Blanco , Marcos M. Recio , Jesús R. Paradela
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

Relevant logics; many-valued logics; 4-valued logics; 2-set-up Routley-Meyer semantics

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2016
• Tom: 45
• Numer: 2

Daty

wydano

2016-06-30

Twórcy

autor

Gemma Robles

autor

Sandra M. López

autor

José M. Blanco

autor

Marcos M. Recio

autor

Jesús R. Paradela

Identyfikatory

DOI

10.18778/0138-0680.45.2.03