scientific article

zbMath1338.03009MaRDI QIDQ2804042

Vladimir Mikhailovich Popov

Publication date: 27 April 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

intuitionistic propositional logicclassical propositional logiclanguage LGlivenko's theoremcalculus \(\mathrm{GInt}_{\langle\omega,\omega\rangle}\)calculus \(\mathrm{HInt}_{\langle\omega,\omega\rangle}\), L-logic \(\mathrm{Int}_{\langle\omega,\omega\rangle}\)Glivenko's type logicL-logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: