Natural Deduction Systems for Intuitionistic Logic with Identity.

Szymon Chlebowski Marta Gawek Agata Tomczyk

Published in: Stud Logica (2022)

Keyphrases

natural deduction
intuitionistic logic
theorem prover
inference rules
linear logic
artificial intelligence
sequent calculus
theorem proving
constraint solving
cut elimination