scientific article; zbMATH DE number 1406469

DOI10.1002/(SICI)1521-3870(200001)46:1%3C135::AID-MALQ135%3E3.0.CO;2-RzbMATH Open0939.03008MaRDI QIDQ4939409FDOQ4939409

Authors: Hajime Ishihara 

Publication date: 5 July 2000

Title of this publication is not available (Why is that?)

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)

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

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)