Grounding rules for (relevant) implication

DOI10.1080/11663081.2020.1850048MaRDI QIDQ5000135zbMATH OpenOpenAlexFDO

Authors Francesca Poggiolesi

Publication date 6 July 2021

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/11663081.2020.1850048

zbMATH Keywords

deduction theoremgroundingimplicationnatural deduction calculusrelevant logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Grounding principles for (relevant) implication
• On constructing a logic for the notion of complete and immediate formal grounding
• THE PURE LOGIC OF GROUND
• scientific article; zbMATH DE number 2101978
• Grounding and truth-functions

Cites work

• A Critical Overview of the Most Recent Logics of Grounding
• A logic for `because'
• Algebraic completeness results for R-mingle and its extensions
• Axiomatic theories of partial ground. I: The base theory
• Grounding and truth-functions
• Grounding principles for (relevant) implication
• scientific article; zbMATH DE number 3496100 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• LOGICAL GROUNDS
• Models for entailment
• On constructing a logic for the notion of complete and immediate formal grounding
• On defining the notion of complete and immediate formal grounding
• Semantics for relevant logics
• THE PURE LOGIC OF GROUND

Cited in

(9)

• On constructing a logic for the notion of complete and immediate formal grounding
• Grounding principles for (relevant) implication
• Toward a generalization of the logic of grounding
• On defining the notion of complete and immediate formal grounding
• Grounding rules and (hyper-)isomorphic formulas
• Formal explanations as logical derivations
• scientific article; zbMATH DE number 7644093 (Why is no real title available?)
• Grounding from a syntactic point of view: a sentential-logical approach
• Ground first: against the proof-theoretic definition of ground

This page was built for publication: Grounding rules for (relevant) implication

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