scientific article; zbMATH DE number 4132135

zbMATH Open0692.03019MaRDI QIDQ3033743FDOQ3033743

Authors: J. Lambek 

Publication date: 1988

Title of this publication is not available (Why is that?)

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Displacement logic for anaphora
• Title not available (Why is that?)
• Title not available (Why is that?)

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)