The title The Logical Approach to Syntax: Foundations, Specifications, and Implementations of Theories of Government and Binding describes Stabler's book very well. In it, Stabler introduces techniques and results pertaining to formal logic, develops logical representations of particular instantiations of Government-Binding Theory (GB), and explores the consequences of the theory within a deduc...

I propose an analysis of verb phrases called Ground Promotion constructions (cf. McIntyre (2007)) or involving ’unpredicated particles’ (cf. Levin and Sells (2009)) at the syntaxsemantics interface. The interface framework combines principles of Minimalist Syntax and Distributed Morphology with Discourse Representation Theory. The analysis follows the hypothesis of a parallelism between the ver...

This lecture continues the study of hybrid games and their logic, differential game logic [Pla15], whose syntax was introduced in Lecture 20 on Hybrid Systems & Games and whose semantics was developed in Lecture 21 on Winning Strategies & Regions. Today’s lecture furthers the development of differential game logic to the third leg of the logical trinity: its axiomatics. This lecture will focus ...

1. Introduction The construct word plays a key role in linguistic theorizing. For instance, there are theories of syntax that are entirely word-based, such as " Word Grammar " (Hudson 1984), as well as theories in which the distinction between a word and a non-word has consequences for other aspects of the grammar. Relevant to this latter point, for instance, is Government-Binding theory, where...

Switching from one information system to another would be convenient if the information languages  that is, the method of representation of subjects and other information content of discourse used in the systems are syntactically consistent, compatible with each other, and inter-convertible at a reasonable cost. In this connection, the development of an intermediate language through which the ...

We present PureCake, a mechanically-verified compiler for PureLang, lazy, purely functional programming language with monadic effects. PureLang syntax is Haskell-like and indentation-sensitive, its constraint-based Hindley-Milner type system guarantees safe execution. derive sound equational reasoning principles over operational semantics, dramatically simplifying some proofs. prove end-to-end ...

In a passage in A Theory of Justice, which has become increasingly influential in recent years, John Rawls (1971) noted an analogy between moral philosophy and grammar. Moral philosophy, or at least the first stage of moral philosophy, Rawls maintained, can be thought of as the attempt to describe our moral capacity – the capacity which underlies “the potentially infinite number and variety of ...

recent research in the area of second language acquisition has proposed that bilinguals and l2 learners show syntactic indeterminacy when syntactic properties interface with other cognitive domains. most of the research in this area has focused on the pragmatic use of syntactic properties while the investigation of compliance with a grammatical rule at syntax-related interfaces has not received...

objectives: word definitional skills (wdss) were classified according to the quality of both semantic content and syntactic form. the aim of the present study was to investigate the syntactic development in wdss in typically developing school- age children. methods: in this cross-sectional and descriptive-analytical study,  150 of typically developing school-age children participated by the  mu...