- Tytuł:
- A Lattice of Implicative Extensions of Regular Kleenes Logics
- Autorzy:
- Tomova, Natalya
- Powiązania:
- https://bibliotekanauki.pl/articles/1368574.pdf
- Data publikacji:
- 2012
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Opis:
- The paper deals with functional properties of three-valued logics. We consider the family of regular three-valued Kleene’s logics (strong, weak, intermediate) and it’s extensions by adding an implicative connectives (“natural” implications). The main result of our paper is the lattice that describes the relations between implicative extensions of regular logics.
- Źródło:
-
Reports on Mathematical Logic; 2012, 47; 173-182
0137-2904
2084-2589 - Pojawia się w:
- Reports on Mathematical Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł