scientific article; zbMATH DE number 517044

MaRDI QIDQ4282572zbMATH OpenFDO

Authors Sachio Hirokawa

Publication date 17 March 1994

zbMATH Keywords

BCK-\(\lambda\)-termscoherence theoremimplicational fragment of BCK-logicnormal form proofrelevantly balanced formulas

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Recommendations

• scientific article; zbMATH DE number 1678364
• scientific article; zbMATH DE number 700345
• Uniqueness of normal proofs of minimal formulas
• The number of proofs for a BCK-formula
• Uniqueness of normal proofs in implicational intuitionistic logic

Cited in

(5)

• scientific article; zbMATH DE number 1678364 (Why is no real title available?)
• The number of proofs for a BCK-formula
• Uniqueness of normal proofs of minimal formulas
• The Relevance Graph of a BCK-Formula
• How big is BCI fragment of BCK logic

This page was built for publication:

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