The Pure Calculus of Entailment.

Alan Ross Anderson Nuel Belnap

Published in: J. Symb. Log. (1962)

Keyphrases

logic programming
textual entailment
recognizing textual entailment
tableau calculus
probabilistic logic
automated deduction
computer algebra
np complete
algebraic structure
databases
machine learning
case study