A 'Natural Logic' inference system using the Lambek calculus.
Anna ZamanskyNissim FrancezYoad WinterPublished in: J. Log. Lang. Inf. (2006)
Keyphrases
- sequent calculus
- natural deduction
- computer algebra
- algebraic structure
- modal logic
- formal language
- cut elimination
- data sets
- proof procedure
- real world
- transition systems
- proof theoretic
- logic programming
- real time
- linear logic
- proof search
- databases
- delay insensitive
- lambda calculus
- deontic logic
- formal theory
- predicate calculus
- defeasible logic
- computational properties
- man made
- theorem proving
- query language