TYPES IN TRANSPARENT INTENSIONAL LOGIC AND EASEL ― A COMPARISON

摘要

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 constructions 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.