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: |