scientific article; zbMATH DE number 700345
From MaRDI portal
Publication:4315299
zbMath0808.03002MaRDI QIDQ4315299
Publication date: 8 December 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BCK-logicnormal proofsminimal formulaimplication-conjunction fragment of BCKimplicational fragments of natural deduction systems
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (3)
Studying provability in implicational intuitionistic logic ⋮ On the membership problem for non-linear abstract categorial grammars ⋮ Inhabitation in simply typed lambda-calculus through a lambda-calculus for proof search
This page was built for publication:
