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