Confluence of Cut-Elimination Procedures for the Intuitionistic Sequent Calculus.

Kentaro Kikuchi

Published in: CiE (2007)

Keyphrases

cut elimination
sequent calculus
linear logic
inference rules
natural deduction
wide class
modal logic
sufficient conditions
proof search
desirable properties
bayesian networks
graph cuts
logic programming
fixed point