- Tytuł:
- Bi-classical connexive logic and its modal extension : cut-elimination, completeness and duality
- Autorzy:
- Kamide, Norihiro Autor
- Tematy:
-
Logika parakonsystentna
Semantyka Kripkego
Semantyka logiczna
Logika Belnapa-Dunna
Rachunek sekwentów
Logika koneksywna
Logika czterowartościowa - Pokaż więcej
- Data publikacji:
- 2019
- Dostawca treści:
- Academica
Artykuł