The number of proofs for a BCK-formula

DOI10.2307/2275222zbMATH Open0787.03012OpenAlexW1995335384MaRDI QIDQ3138016FDOQ3138016

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

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

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)

Cites Work

• Über Tautologien, in Welchen Keine Variable Mehr Als Zweimal Vorkommt
• BCK-combinators and linear \(\lambda\)-terms have types
• Title not available (Why is that?)

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
• Title not available (Why is that?)
• How big is BCI fragment of BCK logic
• Title not available (Why is that?)
• Title not available (Why is that?)

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)