Why intuitionistic relevant logic cannot be a core logic

DOI10.1215/00294527-3839326zbMath1417.03128OpenAlexW2584023018MaRDI QIDQ2364652

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

relevant logicintuitionistic 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)

Related Items (1)

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