A `natural logic' inference system using the Lambek calculus

DOI10.1007/S10849-006-9018-XzbMath1129.03013OpenAlexW2132174274MaRDI QIDQ851198

Anna Zamansky, Nissim Francez, Yoad Winter

Publication date: 17 November 2006

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-006-9018-x

zbMATH Keywords

Lambek calculusnormalizationCurry-Howard correspondencenatural logicinference system for natural language

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

A `natural logic' inference system using the Lambek calculus ⋮ Inclusion and exclusion in natural language ⋮ The soundness of internalized polarity marking

Cites Work

• A `natural logic' inference system using the Lambek calculus
• The logic of information structures
• Fragments of language
• Order-Based Inference in Natural Logic
• Completeness in the theory of types
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A `natural logic' inference system using the Lambek calculus