An Introduction to Transparent Intensional Logic
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F13%3A00068415" target="_blank" >RIV/00216224:14210/13:00068415 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
An Introduction to Transparent Intensional Logic
Original language 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.
Czech name
—
Czech description
—
Classification
Type
O - Miscellaneous
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů