Relating Intuitionist Negation and Triviality

DOI10.1093/JIGPAL/12.6.581MaRDI QIDQ4656554zbMATH OpenOpenAlexFDO

Authors Wagner de Campos Sanz

Publication date 11 March 2005

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

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

zbMATH Keywords

\textit{ex falso quodlibet}intuitionismintuitionist logicintuitionist negationnatural deductionnegation introduction rule

Mathematics Subject Classification ID

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

Recommendations

• Negation as falsity: A reply to Tennant
• On negation: Pure local rules
• Intuitionistic negation
• scientific article; zbMATH DE number 25594
• Negation, absurdity and contrariety

Cited in

(3)

• Noninterference for Intuitionist Necessity
• scientific article; zbMATH DE number 6131416 (Why is no real title available?)
• Unified natural deduction for logics of strong negation

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4656554)