- Tytuł:
- Some weak variants of the existence and disjunction properties in intermediate predicate logics
- Autorzy:
- Suzuki, Nobu-Yuki. Autor
- Data publikacji:
- 2017
- Tematy:
-
Rachunek kwantyfikatorów
Logika pośrednia
Metamatematyka
Logika intuicjonistyczna
Semantyka Kripkego - Pokaż więcej
- Dostawca treści:
- Academica
Artykuł