scientific article; zbMATH DE number 1341604
From MaRDI portal
Publication:4263153
zbMATH Open0937.03027MaRDI QIDQ4263153FDOQ4263153
Publication date: 13 June 2000
Title of this publication is not available (Why is that?)
Recommendations
- Using tableaux to automate the Lambek and other categorial calculi
- A graph-theoretic approach to sequent derivability in the Lambek calculus
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- Abstract categorial parsing as linear logic programming
- Non‐associative Lambek Categorial Grammar in Polynomial Time
Lambek calculusprovabilitycategorial grammarscontext-free parsingautomatic categorial deduction algorithmnoncommutative proof-net
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Grammars and rewriting systems (68Q42) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)
Cited In (10)
- Using tableaux to automate the Lambek and other categorial calculi
- Title not available (Why is that?)
- A Hypothetical Reasoning Algorithm for Linguistic Analysis
- Parsing pregroup grammars and Lambek calculus using partial composition
- Title not available (Why is that?)
- Categorial Semantics of a Solution to Distributed Dining Philosophers Problem
- Title not available (Why is that?)
- Deterministic Caterpillar Expressions
- Deduction as reduction, from a categorical point of view
- Title not available (Why is that?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4263153)
