- Tytuł:
- Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations
- Autorzy:
- Niki, Satoru
- Data publikacji:
- 2020-12-30
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
empirical negation
co-negation
labelled sequent calculus
intuitionism - Dostawca treści:
- Biblioteka Nauki
Artykuł