Login / Signup

Another Variant of Natural Deduction.

Irving M. Copi
Published in: J. Symb. Log. (1956)
Keyphrases
  • natural deduction
  • theorem prover
  • inference rules
  • cut elimination
  • theorem proving
  • intuitionistic logic
  • sequent calculus
  • linear time temporal logic
  • general purpose
  • linear logic