scientific article; zbMATH DE number 1406469

DOI10.1002/(SICI)1521-3870(200001)46:1%3C135::AID-MALQ135%3E3.0.CO;2-RMaRDI QIDQ4939409zbMATH OpenFDO

Authors Hajime Ishihara

Publication date 5 July 2000

Full work available at URL https://doi.org/10.1002/(SICI)1521-3870(200001)46:1%3C135::AID-MALQ135%3E3.0.CO;2-R

zbMATH Keywords

conservative extensionintuitionistic logicminimal logicnatural deductionvariant of the Gödel-Gentzen-negative translation

Mathematics Subject Classification ID

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

Cited in

(13)

• A note on the independence of premiss rule
• Glivenko sequent classes in the light of structural proof theory
• Interpolation via translations
• A Warning About Translating Axioms
• scientific article; zbMATH DE number 5081354 (Why is no real title available?)
• Negative translations not intuitionistically equivalent to the usual ones
• scientific article; zbMATH DE number 2174394 (Why is no real title available?)
• scientific article; zbMATH DE number 6139995 (Why is no real title available?)
• Glivenko sequent classes and constructive cut elimination in geometric logics
• CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC
• A Gentzen-style monadic translation of Gödel's system T
• Conservation as translation
• Bounded linear-time temporal logic: a proof-theoretic investigation

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