- Tytuł:
- A natural deduction and its corresponding sequent calculus for positive contraction-less relevant logic
- Autorzy:
- Ilić, M.
- Data publikacji:
- 2017
- Słowa kluczowe:
-
relevant logic
natural deduction - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł