Is Even Minimal Negation Constructive?

DOI10.2307/3328907MaRDI QIDQ4497600zbMATH OpenOpenAlexFDO

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)