A note on dual-intuitionistic logic
From MaRDI portal
Publication:4434506
DOI10.1002/malq.200310055zbMath1036.03006MaRDI 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
03F05: Cut-elimination and normal-form theorems
03B20: Subsystems of classical logic (including intuitionistic logic)
Related Items
Natural deduction for dual-intuitionistic logic, Proof theory of Nelson's paraconsistent logic: a uniform perspective, Dual intuitionistic logic and a variety of negations: the logic of scientific research, Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation, Constructive negation, implication, and co-implication