Defining formal explanation in classical logic by substructural derivability

DOI10.1007/978-3-030-80049-9_22MaRDI QIDQ2117787zbMATH OpenOpenAlexFDO

Authors Francesco A. Genco, Francesca Poggiolesi

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

• scientific article; zbMATH DE number 7644093 (Why is no real title available?)
• A logic for `because'
• Algebraic aspects of cut elimination
• Bolzano's concept of grounding (\textit{Abfolge}) against the background of normal proofs
• Explanation in artificial intelligence: insights from the social sciences
• LOGICAL GROUNDS
• Linear logic
• Mathematical explanation: problems and prospects.
• On constructing a logic for the notion of complete and immediate formal grounding
• On defining the notion of complete and immediate formal grounding
• Residuated lattices. An algebraic glimpse at substructural logics
• Substructural logics: a primer
• The book of why. The new science of cause and effect
• Theory of science. 4 volume set. Translated from the German and edited by Paul Rusnock and Rolf George

Cited in

(1)

• Theory and Applications of Satisfiability Testing

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

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