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

zbMATH Keywords

intuitionistic logicnatural deductionconservative extensionminimal logicvariant of the Gödel-Gentzen-negative translation

Mathematics Subject Classification ID

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

Cited in

(11)

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

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)