Invertibility in Sequent Calculi.

Published in: Arch. Formal Proofs (2009)

Keyphrases

sequent calculi
sufficient conditions
binary images
cut elimination
conditional logic
modal logic
belief revision
search algorithm
input image
inference rules
nonmonotonic reasoning
sequent calculus