A Uniform Proof Procedure for Classical and Non-Classical Logics.

Jens Otten Christoph Kreitz

Published in: KI (1996)

Keyphrases

proof procedure
theorem proving
propositional logic
first order logic
automated reasoning
inference rules
decision procedures
proof procedures
abductive logic programming
model theoretic
database systems
probability distribution
predicate calculus