Remarks on a nice theorem of Monsieur Glivenko

MaRDI QIDQ5067950FDOQ5067950

Authors: Itala D'Ottaviano, Evandro Luís Gomes 

Publication date: 4 April 2022

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

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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)