scientific article; zbMATH DE number 874285

MaRDI QIDQ4876809zbMATH OpenFDO

Authors Michiro Kondo

Publication date 24 July 1996

zbMATH Keywords

Glivenko's theoremKleene logicweak deduction theorem

Mathematics Subject Classification ID

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

Recommendations

• Glivenko theorems revisited
• A short proof of Glivenko theorems for intermediate predicate logics
• On a generalization of Glivenko's theorem
• An approach to Glivenko's theorem in algebraizable logics

Cited in

(8)

• scientific article; zbMATH DE number 3316015 (Why is no real title available?)
• Glivenko like theorems in natural expansions of BCK-logic
• Embedding classical in minimal implicational logic
• Skolem’s Theorem in Coherent Logic
• Henkin's completeness proof and Glivenko's theorem
• Kleene's Logic, Generalized
• A short proof of Glivenko theorems for intermediate predicate logics
• Le calcul des propositions classique et intuitionniste comme modèles l'un de l'autre

This page was built for publication:

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