- Tytuł:
- A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic
- Autorzy:
- Ilić, Mirjana (1966- ). Autor
- Data publikacji:
- 2017
- Tematy:
-
Dedukcja naturalna
Logika relewantna
Rachunek sekwentowy - Pokaż więcej
- Dostawca treści:
- Academica