Login / Signup

Sequent Calculi for the Normal Terms of the - and - Calculi.

Luís PintoRoy Dyckhoff
Published in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
  • sequent calculi
  • conditional logic
  • modal logic
  • cut elimination
  • logic programs
  • temporal logic
  • theorem proving