On Proofs in System P.

Simon Parsons Rachel A. Bourne

Published in: Int. J. Uncertain. Fuzziness Knowl. Based Syst. (2000)

Keyphrases

theorem proving
equational theories
theorem prover
formal proofs
data sets
decision procedures
mathematical proofs
databases
neural network
genetic algorithm
image processing
association rules
natural deduction
formal proof
interactive theorem proving