A Hypothetical Reasoning Algorithm for Linguistic Analysis

DOI10.1093/LOGCOM/4.1.1MaRDI QIDQ4286213zbMATH OpenOpenAlexFDO

Authors Esther König

Publication date 27 March 1994

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/6144cd4dd37e5e29533206a9e949cba6090471a7

zbMATH Keywords

categorial grammarsLambek calculuslinear logicnatural language parsing

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Natural language processing (68T50)

Recommendations

• A Lambek Automaton
• A `natural logic' inference system using the Lambek calculus
• An abductive mechanism for natural language processing based on Lambek calculus
• A dynamic programming approach to categorical deduction
• Clausal Proofs and Discontinuity

Cited in

(6)

• Modelling simultaneous games in dynamic logic
• Hypothetical reasoning and basic non-constituent coordination in type-logical grammar
• CCGbank: A Corpus of CCG Derivations and Dependency Structures Extracted from the Penn Treebank
• A Lambek Automaton
• An abductive mechanism for natural language processing based on Lambek calculus
• A `natural logic' inference system using the Lambek calculus

This page was built for publication: A Hypothetical Reasoning Algorithm for Linguistic Analysis

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