- Tytuł:
- A note on Humberstones constant Ω
- Autorzy:
-
Niki, Satoru
Omori, Hitoshi - Data publikacji:
- 2021
- Wydawca:
- Uniwersytet Jagielloński. Wydawnictwo Uniwersytetu Jagiellońskiego
- Tematy:
-
intuitionistic logic
minimal logic
actuality operator
empirical negation
deduction theorem - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł