- Tytuł:
- Four-Valued Logics BD and DM4: Expansions
- Autorzy:
- Karpenko, Alexander S.
- Powiązania:
- https://bibliotekanauki.pl/articles/749940.pdf
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
Belnap’s four-valued logic
expansions and functional properties
lattices - Opis:
- 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.
- Źródło:
-
Bulletin of the Section of Logic; 2017, 46, 1/2
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł