scientific article; zbMATH DE number 7644093

DOI10.2143/LEA.252.0.3289032MaRDI QIDQ5871536zbMATH OpenFDO

Authors Francesca Poggiolesi

Publication date 20 January 2023

Full work available at URL https://doi.org/10.2143/LEA.252.0.3289032

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• On constructing a logic for the notion of complete and immediate formal grounding
• On defining the notion of complete and immediate formal grounding
• Grounding rules for (relevant) implication
• Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs
• Dag Prawitz on proofs, operations and grounding

Cited in

(9)

• Defining formal explanation in classical logic by substructural derivability
• Structure by proxy, with an application to grounding
• A Critical Overview of the Most Recent Logics of Grounding
• On defining the notion of complete and immediate formal grounding
• Grounding and Propositional Identity: A Solution to Wilhelm’s Inconsistencies
• Grounding operators: transitivity and trees, logicality and balance
• Ground first: against the proof-theoretic definition of ground
• (Conceptual) explanations in logic
• Conceptual (and hence mathematical) explanation, conceptual grounding and proof

This page was built for publication:

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