Full classical S5 in natural deduction with weak normalization.

Ana Teresa C. Martins Lília Ramalho Martins

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

natural deduction
inference rules
theorem prover
cut elimination
intuitionistic logic
theorem proving
normalization method
sequent calculus
neural network
preprocessing
general purpose
programming language
probability theory