- Tytuł:
- Paraconsistent sequential linear-time temporal logic : combining paraconsistency and sequentiality in temporal reasoning
- Autorzy:
- Kamide, Norihiro. Autor
- Tematy:
-
Logika parakonsystentna
Metamatematyka
Rachunek sekwentowy
Logika temporalna - Pokaż więcej
- Data publikacji:
- 2017
- Dostawca treści:
- Academica
Artykuł