scientific article; zbMATH DE number 517044

zbMATH Open0794.03013MaRDI QIDQ4282572FDOQ4282572

Authors: Sachio Hirokawa 

Publication date: 17 March 1994

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

coherence theoremBCK-\(\lambda\)-termsimplicational fragment of BCK-logicnormal form proofrelevantly balanced formulas

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) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Cited In (5)

• The Relevance Graph of a BCK-Formula
• Uniqueness of normal proofs of minimal formulas
• How big is BCI fragment of BCK logic
• Title not available (Why is that?)
• The number of proofs for a BCK-formula

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)