论文信息 - Normalization as a homomorphic image of cut-elimination - 字舞流文

Normalization as a homomorphic image of cut-elimination

Garrel Pottinger | Garrel Pottinger

[1] Garrel Pottinger. A new way of normalizing intuitionist propositional logic , 1976 .

[2] J. Zucker. The correspondence between cut-elimination and normalization II , 1974 .

[3] H. Keisler. Logic with the quantifier “there exist uncountably many” , 1970 .