scientific article
From MaRDI portal
Publication:3632251
zbMath1170.03327MaRDI QIDQ3632251
Marta S. Sagastume, Rodolfo Ertola
Publication date: 23 June 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
Postponement of $\mathsf {raa}$ and Glivenko's theorem, revisited ⋮ Proof theory for positive logic with weak negation
This page was built for publication:
