Book Review: V. V. Rybakov. Admissibility of Logical Inference Rules.

Published in: Notre Dame J. Formal Log. (1999)

Keyphrases

inference rules
logical framework
truth values
probabilistic knowledge
first order logic
modal logic
theorem proving
theorem prover
predicate calculus
logic programming language
sequent calculus
horn clauses
set of inference rules
artificial intelligence
probabilistic logic
data sets
belief revision