Formal explanations as logical derivations

DOI10.1080/11663081.2021.2010435MaRDI QIDQ5862002zbMATH OpenOpenAlexFDO

Authors 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

groundingproof theoryclassical logicnormalisationformal explanation

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

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

Cites work

• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A logic for `because'
• Axiomatic theories of partial ground. I: The base theory
• Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth
• Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs
• Explaining deductive inference
• Explanation in metaphysics and Bolzano's theory of ground and consequence
• Grounding and truth-functions
• LOGICAL GROUNDS
• On constructing a logic for the notion of complete and immediate formal grounding
• On defining the notion of complete and immediate formal grounding
• THE PURE LOGIC OF GROUND
• The concepts of proof and ground
• Theory of science. 4 volume set. Translated from the German and edited by Paul Rusnock and Rolf George

Cited in

(3)

• scientific article; zbMATH DE number 2109541 (Why is no real title available?)
• Grounding operators: transitivity and trees, logicality and balance
• Providing a proof-theoretical basis for explanation: A case study on UML and ALCQI reasoning

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)