scientific article; zbMATH DE number 517044

zbMATH Open0794.03013MaRDI QIDQ4282572

Sachio Hirokawa

Publication date: 17 March 1994

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

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) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Subsystems of classical logic (including intuitionistic logic) (03B20) Combinatory logic and lambda calculus (03B40)

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)