scientific article

From MaRDI portal

Publication:2811589

Jump to:navigation, search

zbMath1344.03011MaRDI QIDQ2811589

R. Alonderis

Publication date: 10 June 2016

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Glivenko theorem classical propositional sequent calculus intuitionistic propositional sequent calculus

Mathematics Subject Classification ID

Classical propositional logic (03B05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2811589&oldid=15718867"