Formal explanations as logical derivations

DOI10.1080/11663081.2021.2010435OpenAlexW4200609711MaRDI QIDQ5862002FDOQ5862002

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

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?)
• Grounding and truth-functions
• 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
• Explanation in metaphysics and Bolzano's theory of ground and consequence
• On defining the notion of complete and immediate formal grounding
• Bolzano's concept of grounding (\textit{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 (3)

• Title not available (Why is that?)
• 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)