Is Even Minimal Negation Constructive?

DOI10.2307/3328907zbMATH Open0943.03611OpenAlexW4230942985MaRDI QIDQ4497600FDOQ4497600

Authors: A. P. Hazen 

Publication date: 22 August 2000

Full work available at URL: https://doi.org/10.2307/3328907

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (4)

• Inversion principles and introduction rules
• Proof theory for positive logic with weak negation
• Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different
• Subminimal negation on the Australian plan

This page was built for publication: Is Even Minimal Negation Constructive?

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