Recommendations
Cites work
- 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
- scientific article; zbMATH DE number 949290 (Why is no real title available?)
- scientific article; zbMATH DE number 3358455 (Why is no real title available?)
- 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 concepts of proof and ground
- THE PURE LOGIC OF GROUND
- Theory of science. 4 volume set. Translated from the German and edited by Paul Rusnock and Rolf George
Cited in
(7)- Providing a proof-theoretical basis for explanation: A case study on UML and ALCQI reasoning
- scientific article; zbMATH DE number 2109541 (Why is no real title available?)
- Grounding operators: transitivity and trees, logicality and balance
- Reasons and grounds: a proof-theoretical investigation
- Explaining with reasons: from Aristotle to machine learning classifiers
- (Conceptual) explanations in logic
- What stands between grounding rules and logical rules is the excluded middle
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)
