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

intuitionistic logicjustification logiclogic of proofsrefutationconstructible falsity

Mathematics Subject Classification ID

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

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

(5)

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

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)