Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations

DOI10.18778/0138-0680.2020.13zbMath1477.03027OpenAlexW3048696070MaRDI QIDQ4999459

Satoru Niki

Publication date: 7 July 2021

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.18778/0138-0680.2020.13

zbMATH Keywords

intuitionismlabelled sequent calculusempirical negationco-negation

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cites Work

• An intuitionistic completeness theorem for classical predicate logic
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• Proof analysis in modal logic
• Constructivism in mathematics. An introduction. Volume I
• Proof Analysis
• A paraconsistent extension of Sylvan’s logic
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Unnamed Item
• Unnamed Item