Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

Artykuł dostępny w postaci pełnego tekstu - kliknij by otworzyć plik

Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B

100%

López S. M.

Bulletin of the Section of Logic

2022

tom 51

nr 1

27-56

Six interesting variants of the logics BN4 and E4-which can be considered as the 4-valued logics of the relevant conditional and (relevant) entailment, respectively-were previously developed in the literature. All these systems are related to the family of relevant logics and contain Routley and Meyer's basic logic B, which is well-known to be specifically associated with the ternary relational semantics. The aim of this paper is to develop reduced general Routley-Meyer semantics for them. Strong soundness and completeness theorems are proved for each one of the logics.

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

45%

Robles G., López S. M., Blanco J. M., Recio M. M., Paradela J. R.

Bulletin of the Section of Logic

2016

tom 45

nr 2

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.

Ograniczanie wyników

2 Bulletin of the Section of Logic

2 López S. M.

1 Blanco J. M.

1 Paradela J. R.

1 Recio M. M.

1 Robles G.

1 2021

1 2016

Wyniki wyszukiwania

Ternary Relational Semantics for the Variants of BN4 and E4 which Contain Routley and Meyer's Logic B

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