Tableaux and Dual Tableaux: Transformation of Proofs.

Joanna Golinska-Pilarek Ewa Orlowska

Published in: Stud Logica (2007)

Keyphrases

decision procedures
modal logic
functional dependencies
theorem proving
case study
automated reasoning
proof procedure
sequent calculi
genetic algorithm
artificial intelligence
social networks
theorem prover
transformation parameters