Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic

DOI10.1093/LOGCOM/EXAA047MaRDI QIDQ5140327zbMATH OpenOpenAlexFDO

Authors Thomas Macaulay Ferguson

Publication date 15 December 2020

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exaa047

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• A Gödel-Artemov-style analysis of constructible falsity
• On the Proof Method for Constructive Falsity
• Proofs, disproofs, and their duals
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Nelson's negation on the base of weaker versions of intuitionistic negation

Cited in

(3)

• Interrogative Dependencies and the Constructive Content of Inquisitive Proofs
• Executability and connexivity in an interpretation of Griss
• Meaning and identity of proofs in a bilateralist setting: a two-sorted typed lambda-calculus for proofs and refutations

This page was built for publication: Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic

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