On the independence of premiss axiom and rule

DOI10.1007/S00153-019-00707-5zbMATH Open1485.03249OpenAlexW3005043971WikidataQ114018304 ScholiaQ114018304MaRDI QIDQ2204366FDOQ2204366

Takako Nemoto, Hajime Ishihara

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

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

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)

Cites Work

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

Cited In (1)

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