scientific article; zbMATH DE number 4168913

MaRDI QIDQ3495524zbMATH OpenFDO

Authors J. Lambek

Publication date 1989

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

zbMATH Keywords

categorical grammarcontext-free derivationcontext-free grammarGentzen sequentmulticategorystructural rules

Mathematics Subject Classification ID

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

Recommendations

• Logic and grammar
• scientific article; zbMATH DE number 4087643
• scientific article; zbMATH DE number 4162855
• scientific article; zbMATH DE number 4071154
• Algebraic methods in philosophical logic

Cites work

• A categorical equivalence of proofs
• Algebra of proofs
• Combinatory logic. With two sections by William Craig.
• Deductive systems and categories
• Grammar and logic*
• Grammar as Mathematics
• scientific article; zbMATH DE number 4137754 (Why is no real title available?)
• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• scientific article; zbMATH DE number 4099289 (Why is no real title available?)
• scientific article; zbMATH DE number 46160 (Why is no real title available?)
• scientific article; zbMATH DE number 3573844 (Why is no real title available?)
• scientific article; zbMATH DE number 4122189 (Why is no real title available?)
• scientific article; zbMATH DE number 3316072 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• scientific article; zbMATH DE number 3059659 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Linear logic
• The Mathematics of Sentence Structure

Cited in

(2)

• Some lattice models of bilinear logic
• scientific article; zbMATH DE number 559034 (Why is no real title available?)

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 Q3495524)