Glivenko's theorem, finite height, and local tabularity

zbMath1515.03107arXiv1806.06899MaRDI QIDQ6303188

Ilya B. Shapirovsky

Publication date: 18 June 2018

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Glivenko's theorem, finite height, and local tabularity