On the membership problem for non-linear abstract categorial grammars

DOI10.1007/S10849-009-9110-0zbMATH Open1197.03033OpenAlexW2092570590MaRDI QIDQ972435FDOQ972435

Authors: S. Salvati 

Publication date: 26 May 2010

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/inria-00446785/file/generation.pdf

Recommendations

• A note on the complexity of abstract categorial grammars
• Logical Aspects of Computational Linguistics
• A faithful representation of non-associative Lambek grammars in abstract categorial grammars
• Abstract categorial parsing as linear logic programming
• A polynomial algorithm for the membership problem with categorial grammars

zbMATH Keywords

lambda-calculusintersection typesformal grammarsMontague semanticstext generation

Mathematics Subject Classification ID

Logic of natural languages (03B65) Grammars and rewriting systems (68Q42) Decidability of theories and sets of sentences (03B25) Combinatory logic and lambda calculus (03B40)

Cites Work

• Title not available (Why is that?)
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The typed lambda-calculus is not elementary recursive
• The IO- and OI-hierarchies
• Tree adjunct grammars
• On multiple context-free grammars
• Title not available (Why is that?)
• Title not available (Why is that?)
• A coherence theorem for canonical morphisms in Cartesian closed categories
• Uniqueness of normal proofs in implicational intuitionistic logic
• Title not available (Why is that?)

Cited In (7)

• A Datalog recognizer for almost affine \(\lambda \)-CFGs
• Game semantics and uniqueness of type inhabitance in the simply-typed \(\lambda \)-calculus
• The IO and OI hierarchies revisited
• An alternate proof of Statman's finite completeness theorem
• A note on the complexity of abstract categorial grammars
• Title not available (Why is that?)
• A polynomial algorithm for the membership problem with categorial grammars

This page was built for publication: On the membership problem for non-linear abstract categorial grammars

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q972435)