A. Horák (Czech Republic)
TIL, intensional logic, Easel, types
This article describes the extended type hierarchy of the Transparent Intensional Logic (TIL) as a higher order logic theory. We also present the basic ideas of TIL construc tions as being a suitable meaning representation for natural language. A comparison of the purely logically oriented type system of TIL with the property-based types of the Easel language is discussed in the text with the orientation to the possibility of applications combining the two approaches.
Important Links:
Go Back
