scientific article; zbMATH DE number 4132135

MaRDI QIDQ3033743zbMATH OpenFDO

Authors J. Lambek

Publication date 1988

zbMATH Keywords

formal languageLambek calculusnatural languagesyntactical structuretype calculus

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Logic of natural languages (03B65) General logic (03B99)

Cited in

(6)

• scientific article; zbMATH DE number 5646075 (Why is no real title available?)
• Displacement logic for anaphora
• scientific article; zbMATH DE number 1129256 (Why is no real title available?)
• scientific article; zbMATH DE number 1129259 (Why is no real title available?)
• scientific article; zbMATH DE number 1400725 (Why is no real title available?)
• A `natural logic' inference system using the Lambek calculus

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