An Introduction to Transparent Intensional Logic
| Authors | |
|---|---|
| Year of publication | 2013 |
| MU Faculty or unit | |
| Citation | |
| Description | 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. |
| Related projects: |