Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

6

JOLLI
2006

favoriteEmaildiscussreport

78views more JOLLI 2006»

A 'Natural Logic' inference system using the Lambek calculus

13 years 4 months ago

A 'Natural Logic' inference system using the Lambek calculus

Download www.cs.technion.ac.il

This paper develops an inference system for natural language within the `Natural Logic' paradigm as advocated by Van Benthem [11], S

Anna Zamansky, Nissim Francez, Yoad Winter

Real-time Traffic

Calculus | JOLLI 2006 | Natural Language | Van Benthem |

claim paper

Related Content

» Parsing as Natural Deduction

» Symmetries in Natural Language Syntax and Semantics The LambekGrishin Calculus

» Continuation semantics for the LambekGrishin calculus

» Taming Displayed Tense Logics Using Nested Sequents with Deep Inference

» Maximal Incrementality in Linear Categorial Deduction

» Bidirectional Decision Procedures for the Intuitionistic Propositional Modal Logic IS4

» A System of Interaction and Structure

» Digital solutions for inference rules in decisionsupporting systems

» A Sequent Calculus for Type Theory

Post Info
More Details (n/a)

Added	13 Dec 2010
Updated	13 Dec 2010
Type	Journal
Year	2006
Where	JOLLI
Authors	Anna Zamansky, Nissim Francez, Yoad Winter

Comments (0)