A Lambek Automaton

DOI10.1093/JIGPAL/JZL005MaRDI QIDQ3424117zbMATH OpenOpenAlexFDO

Authors Tatyana Veksler, Nissim Francez

Publication date 15 February 2007

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzl005

zbMATH Keywords

automaton computationsformal languagesgrammar derivationshypothetical reasoningLambek calculustype-logical grammars

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Automata and formal grammars in connection with logical questions (03D05) Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45)

Recommendations

• scientific article; zbMATH DE number 1689588
• Automatic concepts and automata-theoretic semantics for the full Lambek calculus
• A Hypothetical Reasoning Algorithm for Linguistic Analysis
• Language-theoretic and finite relation models for the (full) Lambek calculus
• Lambek grammars as combinatory categorial grammars

Cited in

(7)

• scientific article; zbMATH DE number 1689588 (Why is no real title available?)
• Automatic concepts and automata-theoretic semantics for the full Lambek calculus
• A Hypothetical Reasoning Algorithm for Linguistic Analysis
• An analysis of Lambek's production machines
• scientific article; zbMATH DE number 860126 (Why is no real title available?)
• scientific article; zbMATH DE number 7301805 (Why is no real title available?)
• Verification: Theory and Practice

This page was built for publication: A Lambek Automaton

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