Negation in negationless intuitionistic mathematics

DOI10.1093/PHILMAT/NKAC026MaRDI QIDQ6551736zbMATH OpenFDO

Authors Thomas Macaulay Ferguson

Publication date 7 June 2024

Published in Philosophia Mathematica. Series III (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/PHILMAT/NKAC026

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Cited in

(4)

• Bi-connexive logic, bilateralism, and negation inconsistency
• Two decades of non-classical mathematics: introduction to the special issue
• Possibilist models of executable arithmetic in an interpretation of Griss
• Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics

This page was built for publication: Negation in negationless intuitionistic mathematics

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