King, P. J., "A Logical Formalism for Head-Driven Phrase Struture Grammar," Ph.D. thesis, University of Manchester (1989). Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
On the Complexity of RSRL - Kepser (Correct)
....Penn to formalise Head Driven Phrase Structure Grammar [8,9] HPSG is one of the leading paradigms in current linguistic research. It is in particular characterised by a high degree of formalisation and in opposite to its contender GB non transformational. RSRL is based on Speciate Reentrant Logic [5,6], a feature logic for HPSG developed by King. RSRL, as SRL, is a description logic, it is designed to describe (linguistic) entities and not to talk about truth. A description of this logic can be true or false of an object. Therefore the denotation of such a description are those objects on which ....
King, P. J., "A Logical Formalism for Head-Driven Phrase Struture Grammar," Ph.D. thesis, University of Manchester (1989).
A Coalgebraic Modelling of Head-Driven Phrase Structure Grammar - Kepser (2000) (Correct)
....6 Let T be a functor and (U; c) and (W; d) be two T coalgebras. A function f : U W is a homomorphism if and only if its graph G(f) is a bisimulation between (U; c) and (W; d) The proof of this proposition can be found in [20] 3 Speciate Re entrant Logic Speciate Re entrant Logic (SRL, see [10, 11]) is a complete ( 10] and decidable ( 9] sorted feature logic for HPSG developed by Paul King. Here we review only those aspects of the formal language of SRL that are germane to the present paper, and do not discuss the logical properties of SRL. We follow mainly the exposition of SRL as given ....
....(U; c) and (W; d) be two T coalgebras. A function f : U W is a homomorphism if and only if its graph G(f) is a bisimulation between (U; c) and (W; d) The proof of this proposition can be found in [20] 3 Speciate Re entrant Logic Speciate Re entrant Logic (SRL, see [10, 11] is a complete ([10]) and decidable ( 9] sorted feature logic for HPSG developed by Paul King. Here we review only those aspects of the formal language of SRL that are germane to the present paper, and do not discuss the logical properties of SRL. We follow mainly the exposition of SRL as given in [12] A general ....
Paul John King. A Logical Formalism for Head-Driven Phrase Struture Grammar. PhD thesis, University of Manchester, 1989.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC