Wyniki wyszukiwania - Biblioteka Nauki

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

Szukaj
Przeglądaj
Pomoc
O nas

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 2016

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

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Sortuj według:

Ogranicz wyniki do:

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.