Login / Signup

A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms.

Olivier HermantJames Lipton
Published in: CSL (2008)
Keyphrases
  • cut elimination
  • linear logic
  • high level
  • knowledge base
  • wide class
  • artificial intelligence
  • natural language
  • natural deduction
  • similarity measure
  • bayesian networks
  • general purpose
  • logic programs
  • first order logic