- Tytuł:
- On Paracomplete Versions of Jaśkowskis Discussive Logic
- Autorzy:
-
Mruczek-Nasieniewska, Krystyna
Petrukhin, Yaroslav
Shangin, Vasily - Powiązania:
- https://bibliotekanauki.pl/articles/43183714.pdf
- Data publikacji:
- 2024
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
discussive logic
discursive logic
modal logic
paracomplete logic
paraconsistent logic - Opis:
- Jaśkowski's discussive (discursive) logic \( \mathbf{D_2} \) is historically one of the first paraconsistent logics, i.e., logics which 'tolerate' contradictions. Following Jaśkowski's idea to define his discussive logic by means of the modal logic \( \mathbf{ S5 } \) via special translation functions between discussive and modal languages, and supporting at the same time the tradition of paracomplete logics being the counterpart of paraconsistent ones, we present a paracomplete discussive logic \( \mathbf{ D_2^p } \).
- Źródło:
-
Bulletin of the Section of Logic; 2024, 53, 1; 29-61
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł