Uniqueness of normal proofs of minimal formulas

DOI10.2307/2275097zbMath0791.03004OpenAlexW1985158672MaRDI QIDQ4276021

Makoto Tatsuta

Publication date: 7 July 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275097

zbMATH Keywords

normal formnormal proofBCKprovable formulasminimal formulaNJNKsubstitution relation

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Related Items (2)

2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ Studying provability in implicational intuitionistic logic

Cites Work

• Principal types of BCK-lambda-terms
• Unnamed Item

This page was built for publication: Uniqueness of normal proofs of minimal formulas