Meaning versus Grammar. An Inquiry into the Computation of Meaning and the Incompleteness of Grammar (original) (raw)
Related papers
On the treatment of scrambling and adjunction in minimalist grammars
Proceedings of Formal Grammar, 2002
On the semantics of unification grammars
Grammars, 2003
On the Treatment of Scrambling and Adjunction in Minimalist Grammars 1
2002
Extensions in Compositional Semantics
Lecture Notes in Computer Science
Implementing term rewriting by graph reduction: Termination of combined systems
Conditional and Typed Rewriting Systems, 1991
Some Notes on Basic Syntactic Mutation
A Dependency Pair Framework for A ∨ C-Termination
Lecture Notes in Computer Science, 2010
The size-change principle and dependency pairs for termination of term rewriting
Applicable Algebra in Engineering, Communication and Computing, 2005
Conjoinability and unification in Lambek categorial grammars
New Perspectives in Logic and Formal Linguistics, …, 2001
Analyzing the Core of Categorial Grammar
Edges in syntax : scrambling and cyclic linearization
2014
On the Mildly Context-Sensitive Characterization of Minimalist Grammars
Edges in Syntax: Scrambling and Cyclic Linearization
English linguistics, 2018
Unifying Everything: Some Remarks on Simpler Syntax, Construction Grammar, Minimalism and HPSG
2013
Syntactic Confluence Criteria for Positive/Negative-Conditional Term Rewriting Systems
1995
The Extended Merge Hypothesis and the Fundamental Principle of Grammar
Philosophies, 2021
2000
Modular proofs for completeness of hierarchical term rewriting systems
Theoretical Computer Science, 1995
Semantics of non-terminating rewrite systems using minimal coverings
1995
Proof figures and structural operators for categorial grammar
Proceedings of the fifth conference on European chapter of the Association for Computational Linguistics -, 1991
Formalizing Agree - Part I: Complexity
Right-Node Wrapping: the case of coordination and discontinuity in a Categorial Grammar
A logical basis for the D combinator and normal form in CCG
Jason Baldridge, Frederick Hoyt
Proceedings of ACL-08: HLT, 2008
On a partial syntactical criterion for the left distributivity and the idempotency
Mathematica Slovaca, 2010
A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
Electronic Notes in Theoretical Computer Science, 2007
n-ary Quantifiers and the Expressive Power of DP-Compositions
Research on Language and Computation, 2005
The Logic of Categorial Grammars Lecture Notes
2012
A Syntactic Proof of Cut-Elimination For GLlin
Zeitschrift für mathematische Logik und Grundlagen der Mathematik, 1986
The Termination Hierarchy for Term Rewriting
Applicable Algebra in Engineering, Communication and Computing, 2001
Sequential grammars and automata with valences
Theoretical Computer Science, 2002
Structurally and Arithmetically Controlled Grammars
International Journal on Perceptive and Cognitive Computing, 2016
https://arxiv.org/, 2023