- Tytuł:
- Useful Four-Valued Extension of the Temporal Logic KtT4
- Autorzy:
- Degauquier, Vincent
- 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 - Dostawca treści:
- Biblioteka Nauki
Artykuł