New Foundations for Imperative Logic IV: Natural Deduction.

Peter B. M. Vranas

Published in: FLAP (2019)

Keyphrases

natural deduction
cut elimination
theorem prover
inference rules
intuitionistic logic
theorem proving
sequent calculus
linear time temporal logic
artificial intelligence
automated reasoning
linear logic
wide class
first order logic
logical framework
proof theoretic
markov random field
software engineering