Article contents
Uniqueness of normal proofs of minimal formulas
Published online by Cambridge University Press: 12 March 2014
Abstract
A minimal formula is a formula which is minimal in provable formulas with respect to the substitution relation. This paper shows the following: (1) A β-normal proof of a minimal formula of depth 2 is unique in NJ. (2) There exists a minimal formula of depth 3 whose βη-normal proof is not unique in NJ. (3) There exists a minimal formula of depth 3 whose βη-normal proof is not unique in NK.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1993
References
REFERENCES
- 3
- Cited by