scientific article

zbMath0711.18001MaRDI QIDQ3495524

Joachim Lambek

Publication date: 1989

Full work available at URL: https://eudml.org/doc/193030

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

zbMATH Keywords

multicategorystructural rulescontext-free grammarcategorical grammarcontext-free derivationGentzen sequent

Mathematics Subject Classification ID

Logic of natural languages (03B65) Grammars and rewriting systems (68Q42) Proof theory in general (including proof-theoretic semantics) (03F03) Categories and theories (18C99)

Related Items

Some lattice models of bilinear logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Combinatory logic. With two sections by William Craig.
• Algebra of proofs
• A categorical equivalence of proofs
• The Mathematics of Sentence Structure
• Grammar as Mathematics
• Grammar and logic*
• Deductive systems and categories