Complete Inference Rules for the Cancellation Laws.

Jieh Hsiang Michaël Rusinowitch Kô Sakai

Published in: IJCAI (1987)

Keyphrases

inference rules
set of inference rules
first order logic
modal logic
logic programming language
theorem proving
sequent calculus
logical framework
conditional probabilities
prior knowledge
truth values
probabilistic knowledge
natural deduction
theorem prover
horn clauses
feature selection