We apply an idea originated in the theory of programming languages—monadic meta-language with a distinction between values and computations—in the design of a calculus of cut-elimination for classical logic. The cut-elimination calculus we obtain comprehends the call-by-name and call-byvalue fragments of Curien-Herbelin’s λ μμ̃-calculus without losing confluence, and is based on a distinction of...

The distinction between proper and improper mixtures is a staple of the discussion of foundational questions in quantum mechanics. Here we note an analogous distinction in the context of the theory of entanglement. The terminology of ‘proper’ versus ‘improper’ separability is proposed to mark the distinction. 1 Proper and Improper mixtures In many discussions of the measurement problem in quant...

Lee Brooks' original formulation of instance theory embedded the notion of an instance within the larger conception of a distinction between analytic and nonanalytic processing. Brooks has recently argued that features can be represented either in terms of their specific feature appearance, or in terms of the abstract information some particular instantiation embodies. This work reviews some re...

Attention on constraint-based grammar formalisms such as Head-driven Phrase Structure Grammar (HPSG) has focussed on syntax and semantics to the exclusion of phonology. This paper investigates the incorporation of a non-procedural theory of phonology into HPSG, based on the ‘one-level’ model of Bird & Ellison (1992). The standard rule-representation distinction is replaced by the description-ob...

In recent years, cognitive neuroscience has generatedmany important findings about how the noun–verb distinction is implemented in the brain, but at the same time it has largely ignored equally important advances in linguistic typology concerning the nature of grammatical categories. Following the lead of Evans and Levinson (2009), we argue that typological data and theory have significant impl...