Towards abstract categorial grammars

Philippe de Groote

209 citations0/0 files storedAnnual Meeting of the Association for Computational Linguistics (ACL)

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Syntax, Semantics, Linguistic Variation Logic, programming, and type systems Logic, Reasoning, and Knowledge

Abstract

We introduce a new categorial formalism based on intuitionistic linear logic. This formalism, which derives from current type-logical grammars, is abstract in the sense that both syntax and semantics are handled by the same set of primitives. As a consequence, the formalism is reversible and provides different computational paradigms that may be freely composed together.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 209 citations exist upstream.

References

1973The Proper Treatment of Quantification in Ordinary English 1986Essays in Logical Semantics 1958The Mathematics of Sentence Structure 1975ENGLISH AS A FORMAL LANGUAGE 1995Type-Theoretical Grammar 2011Categorial Type Logics 1998Type-Logical Semantics 1973The Proper Treatment of Quantification in Ordinary English

Cited by

2010Categorial Grammar: Logical Syntax, Semantics, and Processing 2015Productivity and Reuse in Language 2006Towards a Montagovian Account of Dynamics 2010Quantifier Scope in Formal Linguistics 2015Gapping as hypothetical reasoning 2009Symmetric Categorial Grammar 2015Against ellipsis: arguments for the direct licensing of ‘noncanonical’ coordinations

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.