Syntactic Reduction of Predicate Tableaux to Propositional Tableaux.

Ján Komara Paul J. Voda

Published in: TABLEAUX (1995)

Keyphrases

first order logic
classical first order logic
modal logic
proof procedure
functional dependencies
decision procedures
theorem proving
propositional logic
default logic
automated reasoning
horn clauses
co occurrence
semantic representation
reduction method