Normality, Non-contamination and Logical Depth in Classical Natural Deduction.

Marcello D'Agostino Dov M. Gabbay Sanjay Modgil

Published in: Stud Logica (2020)

Keyphrases

natural deduction
theorem prover
inference rules
theorem proving
cut elimination
intuitionistic logic
sequent calculus
logical theories
depth information
logical framework
logical representation
artificial intelligence
depth map
dynamical systems
fixed point