Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: expansions and functional properties

Sortuj według:

Ogranicz wyniki do:

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

Four-Valued Logics BD and DM4: Expansions

100%

Karpenko A. S.

Bulletin of the Section of Logic

2017

tom 46

nr 1/2

The paper discusses functional properties of some four-valued logics which are the expansions of four-valued Belnap’s logic DM4. At first, we consider the logics with two designated values, and then logics defined by matrices having the same underlying algebra, but with a different choice of designated values, i.e. with one designated value. In the preceding literature both approaches were developed independently. Moreover, we present the lattices of the functional expansions of DM4.

Ograniczanie wyników

1 Bulletin of the Section of Logic

1 Karpenko A. S.

1 2017

Wyniki wyszukiwania

Four-Valued Logics BD and DM4: Expansions