In a series of recent publications (most notably Boersma (1998); see also Boersma and Hayes (2001)), Paul Boersma has developed a stochastic generalization of standard Optimality Theory in the sense… (More)

In this paper, we discuss some formal properties of the model of bidirectional Optimality Theory that was developed in Blutner (2000). We investigate the conditions under which bidirectional… (More)

The aim of the present paper is to outline a unified account of anaphoricity and ellipsis phenomena within the framework of Type Logical Categorial Grammar.1 There is at least one conceptual and one… (More)

Optimality Theory in the sense of Prince and Smolensky 1993 is computationally very expensive in the general case. It can be shown that the set of optimal candidates for a given generator GEN and a… (More)

In [3] Feferman introduced the theory T o, which is a natural framework for doing constructive mathematics. By modelling T O in (Z~AC)+ (BI) he established that T o < (Z~-AC)+(B1) and conjectured… (More)

It is a common feature of many case marking languages that some but not all objects are case marked. However, it is usually not entirely random which objects are marked and which aren’t. Rather, case… (More)

We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the realm of traditional… (More)