Remarks on a nice theorem of Monsieur Glivenko

MaRDI QIDQ5067950zbMATH OpenFDO

Authors Itala D'Ottaviano, Evandro Luís Gomes

Publication date 4 April 2022

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• On a generalization of Glivenko's theorem
• Glivenko theorems for substructural logics over FL
• Glivenko and Kuroda for simple type theory
• A short proof of Glivenko theorems for intermediate predicate logics
• An approach to Glivenko's theorem in algebraizable logics

Cited in

(1)

• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited

This page was built for publication: Remarks on a nice theorem of Monsieur Glivenko

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5067950)