Formal explanations as logical derivations

DOI10.1080/11663081.2021.2010435OpenAlexW4200609711MaRDI QIDQ5862002FDOQ5862002

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

Recommendations

• On constructing a logic for the notion of complete and immediate formal grounding
• A logic for best explanations
• Providing a proof-theoretical basis for explanation: A case study on UML and ALCQI reasoning
• Grounding rules for (relevant) implication
• THE PURE LOGIC OF GROUND

zbMATH Keywords

groundingproof theoryclassical logicnormalisationformal explanation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A LOGIC FOR ‘BECAUSE’
• THE PURE LOGIC OF GROUND
• Theory of science. 4 volume set. Translated from the German and edited by Paul Rusnock and Rolf George
• LOGICAL GROUNDS
• Title not available (Why is that?)
• On defining the notion of complete and immediate formal grounding
• BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS
• Explaining Deductive Inference
• 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
• The Concepts of Proof and Ground

Cited In (2)

• Title not available (Why is that?)
• Grounding operators: transitivity and trees, logicality and balance

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

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