scientific article; zbMATH DE number 1406469
From MaRDI portal
Publication:4939409
DOI<link itemprop=identifier href="https://doi.org/10.1002/(SICI)1521-3870(200001)46:1<135::AID-MALQ135>3.0.CO;2-R" /><135::AID-MALQ135>3.0.CO;2-R 10.1002/(SICI)1521-3870(200001)46:1<135::AID-MALQ135>3.0.CO;2-RzbMath0939.03008MaRDI QIDQ4939409
Publication date: 5 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
natural deductionintuitionistic logicconservative extensionminimal logicvariant of the Gödel-Gentzen-negative translation
Related Items (7)
Glivenko sequent classes in the light of structural proof theory ⋮ Interpolation via translations ⋮ Negative translations not intuitionistically equivalent to the usual ones ⋮ Glivenko sequent classes and constructive cut elimination in geometric logics ⋮ CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC ⋮ A note on the independence of premiss rule ⋮ Bounded linear-time temporal logic: a proof-theoretic investigation
This page was built for publication:
