scientific article; zbMATH DE number 1341604

From MaRDI portal

Publication:4263153

Jump to:navigation, search

zbMath0937.03027MaRDI QIDQ4263153

Philippe de Groote

Publication date: 13 June 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Lambek calculus provability categorial grammars context-free parsing automatic categorial deduction algorithm noncommutative proof-net

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Structure of proofs (03F07) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (2)

Parsing pregroup grammars and Lambek calculus using partial composition ⋮ Unnamed Item

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4263153&oldid=18171933"