scientific article; zbMATH DE number 874285

zbMATH Open0842.03011MaRDI QIDQ4876809FDOQ4876809

Michiro Kondo

Publication date: 24 July 1996

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

zbMATH Keywords

Glivenko's theoremKleene logicweak deduction theorem

Mathematics Subject Classification ID

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

Cited In (4)

• Glivenko like theorems in natural expansions of BCK-logic
• Skolem’s Theorem in Coherent Logic
• Kleene's Logic, Generalized
• Title 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 👍 👎

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)