Proof Output and Transformation for Disconnection Tableaux.

Philipp Correll Gernot Stenz

Published in: TABLEAUX (2005)

Keyphrases

decision procedures
modal logic
theorem proving
sequent calculi
neural network
proof procedure
databases
logical rules
classical first order logic