- Tytuł:
- Does the Implication Elimination Rule Need a Minor Premise?
- Autorzy:
- Francez Nissim
- Data publikacji:
- 2018-09-15
- Tematy:
-
natural deduction
NJ
proof-theoretic semantics
grounds for assertion
term assignment - Pokaż więcej
- Dostawca treści:
- CEJSH
Artykuł