Relating Sequent Calculi for Bi-intuitionistic Propositional Logic
Luís PintoTarmo UustaluPublished 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