The number of proofs for a BCK-formula

DOI10.2307/2275222MaRDI QIDQ3138016zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

typed lambda calculusBCK logicnumber of minimal formulasnumber of normal form proofs of a BCK- formula

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1678364
• scientific article; zbMATH DE number 700345
• Principal types of BCK-lambda-terms
• scientific article; zbMATH DE number 517044
• How big is BCI fragment of BCK logic

Cites work

• scientific article; zbMATH DE number 970828 (Why is no real title available?)
• BCK-combinators and linear \(\lambda\)-terms have types
• Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt

Cited in

(7)

• A unifying framework for type inhabitation
• Uniqueness of normal proofs of minimal formulas
• Infiniteness of \(\text{proof}(\alpha)\) is polynomial-space complete
• scientific article; zbMATH DE number 1497851 (Why is no real title available?)
• How big is BCI fragment of BCK logic
• scientific article; zbMATH DE number 1678364 (Why is no real title available?)
• scientific article; zbMATH DE number 517044 (Why is no real title available?)

This page was built for publication: The number of proofs for a BCK-formula

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3138016)