When are different type-logical semantic definitions defining equivalent meanings?

摘要

The paper considers the issue of different type-logical semantic definitions (of some natural language fragment) being “essentially” the same, though expressed using different type-systems. A definition of the equivalence is suggested, and is applied to four definitions of a very simple extensional fragment of English.