Relating Sequent Calculi for Bi-intuitionistic Propositional Logic

Luís Pinto Tarmo Uustalu

Published in: CL&C (2010)

Keyphrases

propositional logic
sequent calculi
cut elimination
linear logic
sequent calculus
natural deduction

first order logic
wide class
inference rules
belief revision
theorem prover
sufficient conditions

logical framework
quantified boolean formulae
satisfiability testing
lattice theory
modal logic
conditional logic

belief change
classical logic
proof procedure
fuzzy set theory
fixed point
horn logic