- Tytuł:
- A binary quantifier for definite descriptions in intuitionist negative free logic : natural deduction and normalisation
- Autorzy:
- Kürbis, Nils Autor
- Tematy:
-
Dedukcja naturalna
Logika wolna
Kwantyfikator
Teoria deskrypcji
Logika intuicjonistyczna - Pokaż więcej
- Data publikacji:
- 2019
- Dostawca treści:
- Academica
Artykuł