Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

2 2016

Znaleziono wyników: 2

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: 4-valued logics

Sortuj według:

Ogranicz wyniki do:

Relational semantics for the 4-valued relevant logics BN4 and E4

100%

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

nr 2

173-201

The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of (relevant) entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.

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

100%

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

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.