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

DOI10.1007/978-3-319-72056-2_10zbMATH Open1505.03052OpenAlexW2769239206MaRDI QIDQ1709698FDOQ1709698

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

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

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)

Cited In (5)

• Structuring co-constructive logic for proofs and refutations
• Title not available (Why is that?)
• Constructible falsity and inexact predicates
• On the Proof Method for Constructive Falsity
• 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)