Transparent Intensional Logic (frequently abbreviated as TIL) is a logical system aimed at an analysis of natural language. It was created by Pavel Tichý. There are relations to Montague grammar, but TIL differs from it in several substantial points. TIL uses syntax of lambda calculus and type theory. One of central notions of TIL is that of construction. Nowadays TIL is investigated mainly in Czech Republic by a group of logicians and linguists led by Pavel Materna.
| Property | Value |
|---|
| dbpprop:abstract
|
- Transparent Intensional Logic (frequently abbreviated as TIL) is a logical system aimed at an analysis of natural language. It was created by Pavel Tichý. There are relations to Montague grammar, but TIL differs from it in several substantial points. TIL uses syntax of lambda calculus and type theory. One of central notions of TIL is that of construction. Nowadays TIL is investigated mainly in Czech Republic by a group of logicians and linguists led by Pavel Materna.
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| rdfs:comment
|
- Transparent Intensional Logic (frequently abbreviated as TIL) is a logical system aimed at an analysis of natural language. It was created by Pavel Tichý. There are relations to Montague grammar, but TIL differs from it in several substantial points. TIL uses syntax of lambda calculus and type theory. One of central notions of TIL is that of construction. Nowadays TIL is investigated mainly in Czech Republic by a group of logicians and linguists led by Pavel Materna.
|
| rdfs:label
|
- Transparent Intensional Logic
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
