An Introduction to Transparent Intensional Logic
| Autoři | |
|---|---|
| Rok publikování | 2013 |
| Druh | Vyžádané přednášky |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | The aim of the talk is to present the core of TIL, Pavel Tichý's Transparent intensional logic - two kinds of functions, type theory, deduction, and its essential applications, esp. in the philosophy of language. |
| Související projekty: |