Defining formal explanation in classical logic by substructural derivability

DOI10.1007/978-3-030-80049-9_22OpenAlexW3183926297MaRDI QIDQ2117787

Francesca Poggiolesi, Francesco A. Genco

Publication date: 22 March 2022

Full work available at URL: https://doi.org/10.1007/978-3-030-80049-9_22

zbMATH Keywords

proof theorysubstructural logicsformal explanation

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On defining the notion of complete and immediate formal grounding
• Linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Substructural logics: a primer
• On constructing a logic for the notion of complete and immediate formal grounding
• Algebraic aspects of cut elimination
• Explanation in artificial intelligence: insights from the social sciences
• LOGICAL GROUNDS
• A LOGIC FOR ‘BECAUSE’
• BOLZANO’S CONCEPT OF GROUNDING (ABFOLGE) AGAINST THE BACKGROUND OF NORMAL PROOFS
• Mathematical explanation: problems and prospects.

This page was built for publication: Defining formal explanation in classical logic by substructural derivability