Minimal from classical proofs

DOI10.1016/j.apal.2012.05.009zbMath1263.03053OpenAlexW2010146589MaRDI QIDQ1946677

Christoph Senjak, Helmut Schwichtenberg

Publication date: 15 April 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.05.009

zbMATH Keywords

natural deductionintuitionistic logicnormal derivationsminimal logicstability axiomsGlivenko-style theoremsOrevkov

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Glivenko sequent classes in the light of structural proof theory ⋮ Eliminating disjunctions by disjunction elimination ⋮ Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ ELIMINATING DISJUNCTIONS BY DISJUNCTION ELIMINATION

This page was built for publication: Minimal from classical proofs