Login / Signup
Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent Calculus for Implicational Logic.
Roy Dyckhoff
Delia Kesner
Stéphane Lengrand
Published in:
IJCAR (2006)
Keyphrases
</>
cut elimination
sequent calculus
linear logic
inference rules
natural deduction
modal logic
wide class
sequent calculi
sufficient conditions
proof theoretic
linear time temporal logic
intuitionistic logic
proof search
first order logic
theorem proving
training data
theorem prover
high dimensional
bayesian networks