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