Grounding rules for (relevant) implication

DOI10.1080/11663081.2020.1850048zbMath1491.03017OpenAlexW3090509960MaRDI QIDQ5000135

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 theoremrelevant logicimplicationgroundingnatural deduction calculus

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On defining the notion of complete and immediate formal grounding
• Models for entailment
• On constructing a logic for the notion of complete and immediate formal grounding
• Axiomatic theories of partial ground. I: The base theory
• Grounding principles for (relevant) implication
• LOGICAL GROUNDS
• A LOGIC FOR ‘BECAUSE’
• A Critical Overview of the Most Recent Logics of Grounding
• THE PURE LOGIC OF GROUND
• Algebraic completeness results for R-mingle and its extensions
• Semantics for relevant logics

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