This paper defends the thesis that in German all sentential arguments occurring in sentenceinitial position have undergone obligatory left dislocation. This implies that the Vorfeld is unable to be occupied by sentential arguments. The resumptive pronoun that immediately follows the left-dislocated phrase may be deleted in accordance with the conditions on Topic Drop that hold for German (cf. O...

How do people transform the surface structure of a sentence into the sentence’s intended meaning? Word order is an important cue used by people in sentence comprehension (Bates et al., 1982; Ferreira, 2003). Another important cue is the meaning of individual words (i.e. nouns and verbs) which we refer to as “content words”. In these and many approaches in sentence processing studies, the focus ...

Hybrid models are characterised by the integration of two (or more) different paradigms of representation within the same system. Most current planning problem description languages are purely sentential, i.e., based on predicate logic formalisms [3, 14]. The ramification of the effects of action [16] makes the sentential description of planning problems that involve the spatial movement of phy...

Divide the context-free languages into equivalence classes in the following way: L1 and L2 are in the same class if there are a-transducers M and M such that M(L1) ~ L~ and d~r(L,) = L1. Define L1 and L~ to be structurally similar if they are in the same class. Among the results given below are: (I) if L1 and L2 are structurally similar and L1 has a structurally similar set of (right) sententia...

We present a new approach to aligning bilingual English and Chinese text at sub-sentential level by interleaving alphabetic texts and punctuations matches. With sub-sentential alignment, we expect to improve the effectiveness of alignment at word, chunk and phrase levels and provide finer grained and more reusable translation memory.

Two logics are implicationally equivalent if the axioms and inference rules of each imply the axioms of the other. Characterizing the inferential equivalences of various formulations of the sentential calculi is foundational. Using an automated deduction system, I show that Łukasiewicz's CN can be derived from Frege's Begriffsschrift, the first sentential calculus ; the proof appears to be novel.