It has been argued that a variety of ellipsis constructions in Spanish show properties of rightward movement, e.g., Wh-Stripping (ellipsis with a wh-remnant other than why followed by a non-wh-remnant, [1]), (1a), Multiple Sluicing (Sluicing with multiple remnants, [2] following [3]), (1b), and Gapping (an ellipsis construction where a verb goes missing in the second conjunct of a coordinate st...

(1) is a noun phrase, and thus contrasts syntactically with (2), which is a clause. Yet the two seem to be synonymous. We will argue that the noun phrase is not embedded in an elliptical structure; rather, the phrase we see is all there is. And furthermore we will argue that (1) is not just pragmatically equivalent to (2); the two are in fact semantically equivalent as well. This raises the que...

This paper shows that classical logic is inappropriate for hypothetical reasoning and develops an alternative logic for this purpose. The paper focuses on a form of hypothetical reasoning which appears computationally tractable. Specifically, Horn-clause logic is augmented with rules, called embedded implications, which can hypothetically add atomic formulas to a rulebase. By introducing the no...

D Since the advent of Horn-clause logic programming in the mid 1970’s, there have been numerous attempts to extend the expressive power of Horn-clause logic while preserving some of its attractive computational properties. This article, the first of a pair, presents a clausal language that extends Hornclause logic by adding negations and embedded implications to the righthand side of a rule, an...

The present paper investigates a certain subset of clause linkage phenomena and develops a constraint-based account to the empirical fact that clauses need to be distinguished w.r.t their degree of integratedness into a potential matrix clause. Considering as example German, it is shown that the generally assumed twofold distinction between main and subordinate clauses (or root and embedded cla...

D Clausal intuitionistic logic is an extension of Horn-clause logic which permits the appearance of negations and embedded implications on the right-hand side of a rule, and interprets these new rules intuitionistically in a set of partial models. In this article the second of a pair, clausal intuitionistic logic, is shown to have a tableau proof procedure that generalizes Horn-clause refutatio...

I begin by outlining some restrictive conditions on linguistic variation. I programmatically suggest that syntactic structure is completely invariant and that variation is strictly limited to morphophonological properties of (functional) heads. With this background, I explore a strongly reductionist program according to which syntactic properties are licensed by one of two mechanisms: spec/head...

This paper is concerned with a particular kind of Korean relative clause constructions that contain possessive specifier gaps, as opposed to complement or adjunct gaps. Those relative clauses have been known to violate Ross's Complex NP Constraint, and various attempts have been made to account for the apparent island violations. This paper argues that those relative clauses have possessive spe...

Object relatives are more difficult to process than subject relatives. Several sentence processing models have been proposed explain this difference. As double-center embedding contain several long-distance dependencies, they an ideal configuration compare models. The main aim of the present study was predictions featural Relativized Minimality approach with ones other relevant 57 Italian-speak...