A Gödel-Artemov-style analysis of constructible falsity

DOI10.1007/978-3-319-72056-2_10MaRDI QIDQ1709698zbMATH OpenOpenAlexFDO

Authors Thomas Macaulay Ferguson

Publication date 6 April 2018

Full work available at URL https://doi.org/10.1007/978-3-319-72056-2_10

zbMATH Keywords

constructible falsityintuitionistic logicjustification logiclogic of proofsrefutation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Modal logic (including the logic of norms) (03B45)

Recommendations

• On the Proof Method for Constructive Falsity
• Logics of proofs and justifications
• Justification logic for constructive modal logic
• Justification logic. Reasoning with reasons
• Modal Operators over Constructive Logic

Cited in

(6)

• Structuring co-constructive logic for proofs and refutations
• Constructible falsity and inexact predicates
• On the Proof Method for Constructive Falsity
• scientific article; zbMATH DE number 7340563 (Why is no real title available?)
• Explicit analyses of proof/refutation interaction for constructible falsity and Heyting–Brouwer logic
• Executability and connexivity in an interpretation of Griss

This page was built for publication: A Gödel-Artemov-style analysis of constructible falsity

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