scientific article; zbMATH DE number 874285

zbMATH Open0842.03011MaRDI QIDQ4876809FDOQ4876809

Authors: Michiro Kondo 

Publication date: 24 July 1996

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

Glivenko's theoremKleene logicweak deduction theorem

Mathematics Subject Classification ID

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

Cited In (8)

• 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
• Title not available (Why is that?)

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)