The number of proofs for a BCK-formula
From MaRDI portal
Publication:3138016
DOI10.2307/2275222zbMath0787.03012OpenAlexW1995335384MaRDI QIDQ3138016
Sachio Hirokawa, Yuichi Komori
Publication date: 24 October 1993
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2275222
typed lambda calculusBCK logicnumber of minimal formulasnumber of normal form proofs of a BCK- formula
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)
Related Items
Cites Work