Cut elimination for a logic with induction and co-induction.

Alwen Tiu Alberto Momigliano

Published in: J. Appl. Log. (2012)

Keyphrases

proof search
cut elimination
linear logic
sequent calculus
natural deduction
intuitionistic logic
proof theoretic
theorem proving
inference rules
theorem prover
machine learning
sufficient conditions
wide class
high level
sequent calculi
fixed point
logical framework
desirable properties
description logics