- Tytuł:
- Paraconsistent sequential linear-time temporal logic : combining paraconsistency and sequentiality in temporal reasoning
- Autorzy:
- Kamide, Norihiro
- Data publikacji:
- 2017
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Tematy:
-
linear-time temporal logic
paraconsistent logic
sequent calculus - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł