Types in Transparent Intensional Logic and Easel -- A Comparison

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