scientific article; zbMATH DE number 4132135

MaRDI QIDQ3033743zbMATH OpenFDO

Authors J. Lambek

Publication date 1988

zbMATH Keywords

formal languageLambek calculusnatural languagetype calculussyntactical structure

Mathematics Subject Classification ID

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

Cited in

(6)

• A `natural logic' inference system using the Lambek calculus
• scientific article; zbMATH DE number 5646075 (Why is no real title available?)
• scientific article; zbMATH DE number 1400725 (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?)

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)