Gentzen and Jaśkowski Natural Deduction: Fundamentally Similar but Importantly Different.

Allen P. Hazen Francis Jeffry Pelletier

Published in: Stud Logica (2014)

Keyphrases

natural deduction
cut elimination
sequent calculus
linear time temporal logic
inference rules
theorem prover
linear logic
knowledge representation
general purpose
database
neural network
artificial intelligence
markov random field
proof theoretic