A note on dual-intuitionistic logic
From MaRDI portal
Publication:4434506
DOI10.1002/malq.200310055zbMath1036.03006OpenAlexW2109235640MaRDI QIDQ4434506
Publication date: 10 November 2003
Published in: MLQ (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200310055
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items
Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation ⋮ Natural deduction for dual-intuitionistic logic ⋮ Constructive negation, implication, and co-implication ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ Dual intuitionistic logic and a variety of negations: the logic of scientific research
