Login / Signup

2-Sequent Calculus: Intuitionism and Natural Deduction.

Andrea Masini
Published in: J. Log. Comput. (1993)
Keyphrases
  • natural deduction
  • sequent calculus
  • cut elimination
  • theorem prover
  • inference rules
  • intuitionistic logic
  • theorem proving
  • linear time temporal logic
  • linear logic
  • proof search
  • artificial intelligence
  • object oriented