On Glinvenko sequent classes

zbMath0208.01002MaRDI QIDQ2543314

V. P. Orekov

Publication date: 1968

Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Classical first-order logic (03B10) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

The Gödel-McKinsey-Tarski embedding for infinitary intuitionistic logic and its extensions ⋮ Some pitfalls of LK-to-LJ translations and how to avoid them ⋮ Correspondences between classical, intuitionistic and uniform provability

This page was built for publication: On Glinvenko sequent classes