On transformations of constant depth propositional proofs.

Arnold Beckmann Sam Buss

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

first order logic
propositional logic
depth information
theorem proving
relational databases
depth map
theorem prover
computer vision
search algorithm
default logic
multi valued
probabilistic logic
decision procedures
equational theories
mathematical proofs