Why intuitionistic relevant logic cannot be a core logic

DOI10.1215/00294527-3839326zbMATH Open1417.03128OpenAlexW2584023018MaRDI QIDQ2364652FDOQ2364652

Joseph Vidal-Rosset

Publication date: 21 July 2017

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-3839326

zbMATH Keywords

intuitionistic logicrelevant logicminimal logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Subsystems of classical logic (including intuitionistic logic) (03B20)

Cited In (3)

• Natural deduction and sequent calculus for intuitionistic relevant logic
• Rules in relevant logic. I: Semantic classification
• On some mistaken beliefs about core logic and some mistaken core beliefs about logic

This page was built for publication: Why intuitionistic relevant logic cannot be a core logic

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