- Tytuł:
- Useful Four-Valued Extension of the Temporal Logic KtT4
- Autorzy:
- Degauquier, Vincent
- Powiązania:
- https://bibliotekanauki.pl/articles/749896.pdf
- Data publikacji:
- 2018
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
temporal logic
many-valued logic
bi-intuitionistic logic
paraconsistent logic
sequent calculus
duality
cut-redundancy - Opis:
- The temporal logic KtT4 is the modal logic obtained from the minimal temporal logic Kt by requiring the accessibility relation to be reflexive (which corresponds to the axiom T) and transitive (which corresponds to the axiom 4). This article aims, firstly, at providing both a model-theoretic and a proof-theoretic characterisation of a four-valued extension of the temporal logic KtT4 and, secondly, at identifying some of the most useful properties of this extension in the context of partial and paraconsistent logics.
- Źródło:
-
Bulletin of the Section of Logic; 2018, 47, 1
0138-0680
2449-836X - Pojawia się w:
- Bulletin of the Section of Logic
- Dostawca treści:
- Biblioteka Nauki
Artykuł