A `natural logic' inference system using the Lambek calculus
From MaRDI portal
Publication:851198
DOI10.1007/s10849-006-9018-xzbMath1129.03013MaRDI 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
Lambek calculus; normalization; Curry-Howard correspondence; natural logic; inference system for natural language
03B65: Logic of natural languages
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)
Related Items
Inclusion and exclusion in natural language, The soundness of internalized polarity marking, A `natural logic' inference system using the Lambek calculus
Cites Work