Implicational logics in natural deduction systems

DOI10.2307/2273391zbMath0485.03010OpenAlexW2019107819MaRDI QIDQ3944582

No author found.

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273391

zbMATH Keywords

implicational fragment of Dummet's superintuitionistic calculusreduction of formula depth

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Intermediate logics (03B55)

Related Items (2)

On the concurrent computational content of intermediate logics ⋮ An alternative normalization of the implicative fragment of classical logic

Cites Work

• A propositional calculus with denumerable matrix

This page was built for publication: Implicational logics in natural deduction systems