Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: relevant logics

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.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 López S. M.

1 2021

Wyniki wyszukiwania

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