scientific article

zbMATH Open1170.03327MaRDI QIDQ3632251FDOQ3632251

Marta S. Sagastume, Rodolfo Ertola

Publication date: 23 June 2009

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

zbMATH Keywords

algebraic Glivenko theoremimplicationless fragment of Johansson's minimal logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25)

Cited In (4)

• Title not available (Why is that?)
• Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited
• Proof theory for positive logic with weak negation
• A syntactical study of the subminimal logic with Nelson negation

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 Q3632251)