Defining formal explanation in classical logic by substructural derivability

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

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

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

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)