The purpose of this paper is to present a method of semantic interpretation of the logical form (LF) which has recently been developed in the GB-Theory. For this purpose we develop two kinds of indexing filter mechanisms. Only the well-formed LFs of t...
The purpose of this paper is to present a method of semantic interpretation of the logical form (LF) which has recently been developed in the GB-Theory. For this purpose we develop two kinds of indexing filter mechanisms. Only the well-formed LFs of the sentences which are filtered out from the S-Structures and the LFs by the two indexing filter mechanisms are translated into the structures of the languages of intensional logic. We will call this structure of intensional logic the LF's. We exemplify in this paper some translation rules based on Bartsch (1977, 1979). There are several new rules developed in this paper, for instance, rule for translating controlled PRO and arbitray PRO, rules for translating null θ-role terms, rules for translating quantifier phrases and their variables left by quantifier raising, and rules for detransitivization, etc.