A logic that provides the formal architecture required by Pollard and Sag ( 1994 ) was defined by King ( 1989 , 1994 ) .
a logical formalism for headdriven phrase structure grammar
Paul King
A signature is interpreted as follows : Every object is assigned exactly one most specific type , and in case a feature is appropriate for some object of a certain type , then it is appropriate for all objects of this type . ' A logic that provides the formal architecture required by Pollard and Sag ( 1994 ) was defined by King ( 1989 , 1994 ) . The formal language of King allows the expression of grammatical principles using type assignments to refer to the type of an object and path equalities to require the ( token ) identity of objects .
A logic that provides the formal architecture required by Pollard and Sag ( 1994 ) was defined by @@CITATION , 1994 ) .