Login / Signup
Equational calculi and constant depth propositional proofs.
Jan Johannsen
Published in:
Proof Complexity and Feasible Arithmetics (1996)
Keyphrases
</>
theorem proving
equational theories
first order logic
theorem prover
proof procedure
horn clauses
propositional logic
inference rules
depth map
depth information
knowledge representation
decision procedures
natural deduction
qualitative spatial and temporal reasoning
sequent calculi
proof search
multi valued