Paper Info
Title
Uniqueness Of Normal Proofs Of Minimal Formulas
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 beta-normal proof of a minimal formula of depth 2 is unique in NJ. (2) There exists a minimal formula of depth 3 whose betaeta-normal proof is not unique in NJ. (3) There exists a minimal formula of depth 3 whose betaeta-normal proof is not unique in NK.
Year
DOI
Venue
1993
10.2307/2275097
JOURNAL OF SYMBOLIC LOGIC
DocType
Volume
Issue
Journal
58
3
ISSN
Citations 
PageRank 
0022-4812
1
0.46
References 
Authors
2
1
Name
Order
Citations
PageRank
Makoto Tatsuta111122.36