Is Even Minimal Negation Constructive?

DOI10.2307/3328907zbMath0943.03611OpenAlexW4230942985MaRDI QIDQ4497600

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

Related Items (4)

Proof theory for positive logic with weak negation ⋮ Gentzen and Jaśkowski natural deduction: fundamentally similar but importantly different ⋮ Inversion Principles and Introduction Rules ⋮ Subminimal negation on the Australian plan

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