- Tytuł:
- Two Treatments of Definite Descriptions in Intuitionist Negative Free Logic
- Autorzy:
- Kürbis, Nils
- Data publikacji:
- 2019
- Wydawca:
- Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
- Tematy:
-
definite descriptions
binary quantifier
term forming operator
Lambert's Law
intuitionist negative free logic
natural deduction - Pokaż więcej
- Dostawca treści:
- Biblioteka Nauki
Artykuł