Formal explanations as logical derivations

DOI10.1080/11663081.2021.2010435OpenAlexW4200609711MaRDI QIDQ5862002

Francesco A. Genco

Publication date: 3 March 2022

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/11663081.2021.2010435

zbMATH Keywords

proof theorynormalisationclassical logicgroundingformal explanation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• On defining the notion of complete and immediate formal grounding
• On constructing a logic for the notion of complete and immediate formal grounding
• Axiomatic theories of partial ground. I: The base theory
• Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
• LOGICAL GROUNDS
• A LOGIC FOR ‘BECAUSE’
• The Concepts of Proof and Ground
• Explaining Deductive Inference
• THE PURE LOGIC OF GROUND
• BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Formal explanations as logical derivations