Cut Elimination for a Logic with Induction and Co-induction

Alwen Tiu Alberto Momigliano

Published in: CoRR (2010)

Keyphrases

cut elimination
proof search
sequent calculus
linear logic
intuitionistic logic
proof theoretic
natural deduction
wide class
theorem prover
theorem proving
inference rules
automated reasoning
high level
desirable properties
partial order
first order logic
low dimensional
bayesian networks