Relating Intuitionist Negation and Triviality

DOI10.1093/JIGPAL/12.6.581zbMath1062.03016OpenAlexW2064816946MaRDI QIDQ4656554

Wagner de Campos Sanz

Publication date: 11 March 2005

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/12.6.581

zbMATH Keywords

natural deductionintuitionismintuitionist logic\textit{ex falso quodlibet}intuitionist negationnegation introduction rule

Mathematics Subject Classification ID

Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

This page was built for publication: Relating Intuitionist Negation and Triviality