Derivations as proofs: a logical approach to minimalism (original) (raw)
Related papers
The Logic of Categorial Grammars Lecture Notes
2012
Towards a minimal logic for minimalist grammars: a transformational use of Lambek calculus
1999
The logic of categorial grammars: a deductive account of natural language syntax and semantics
Categorial deductions and structural operations
On some similarities between D-Tree Grammars and type-logical grammars
Proof figures and structural operators for categorial grammar
Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics -, 1991
Analyzing the Core of Categorial Grammar
Characterizing Logic Grammars: A Substructural Logic Approach
Journal of Logic Programming, 1996
Pomset logic as an alternative categorial grammar
Formal Grammar, Proceedings of the Conference of the …, 1995
On the axiomatic systems of syntactically-categorial languages
1984
Natural Language & Linguistic Theory, 2015
Syntax and Consequence Relations -- A Categorical Perspective
2021
Towards a purely derivational approach to syntax * 0
2006
Journal of Logic, Language and Information, 1996
A Geometrical Representation of the Basic Laws of Categorial Grammar
Studia Logica, 2017
The logic of categorial grammars
2014
Grammar logicised: relativisation
Linguistics and Philosophy
Extending Lambek grammars: a logical account of minimalist grammars
Proceedings of the 39th Annual Meeting on …, 2001
Logical aspects of computational linguistics
1999
Combinatory Categorial Grammar as a Substructural Logic
New Frontiers in Artificial Intelligence (JSAI-isAI 2010 Workshops, Tokyo, Japan, November 2010, Selected Papers from LENLS7), Takashi Onoda, Daisuke Bekki, Eric McCready (Eds.), LNAI 6797, pp.16-29, Springer, Heidelberg., 2011
Heads and Phrases. Type Calculus for Dependency and Constituent Structure
Lacl, 1991
Views of proof-theoretic semantics: Reified proof-theoretic meanings
To appear in J. of Logic and Computation, 2014
Categorial Minimalist Grammar: From Generative Syntax To Logical Form
2010
1990
2011
Non-Commutative Linear Logic in Linguistics
Grammars vol. 4, n. 3, pp. 167-185, 2001
Towards a More Lexical and Functional Type-Logical Theory of Grammar
Pomset logic: a logical and grammatical alternative to the Lambek calculus
ArXiv, 2020
A Note on movement in logical grammar
Journal of Language Modelling
Specifying syntactic structures
Acm Sigsoft Software Engineering Notes, 1997
A meta-logic of inference rules: Syntax
Logic and Logical Philosophy, 2015
The λ Calculus and the Unity of Structural Proof Theory
Theory of Computing Systems / Mathematical Systems Theory, 2009