On the independence of premiss axiom and rule

DOI10.1007/S00153-019-00707-5MaRDI QIDQ2204366zbMATH OpenOpenAlexWikidataFDO

Authors Hajime Ishihara, Takako Nemoto

Publication date 15 October 2020

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-019-00707-5

zbMATH Keywords

functional realizability interpretationindependence of premiss axiomindependence of premiss rulenon-classical axiomsnon-constructive axioms

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Metamathematics of constructive systems (03F50)

Recommendations

• A note on the independence of premiss rule
• Normalization and excluded middle. I
• Continuing Variations on a System of Gentzen
• Intuitionistic predicate logic with decidable propositional atoms
• scientific article; zbMATH DE number 1463088

Cites work

• scientific article; zbMATH DE number 1215498 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• A note on the independence of premiss rule
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Constructivism in mathematics. An introduction. Volume II
• Finite sets and infinite sets in weak intuitionistic arithmetic
• Formalized recursive functionals and formalized realizability
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard

Cited in

(2)

• A note on the independence of premiss rule
• EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES

This page was built for publication: On the independence of premiss axiom and rule

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2204366)