Why intuitionistic relevant logic cannot be a core logic

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

Authors: 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

Recommendations

• Core Logic
• Rule-irredundancy and the sequent calculus for core logic
• The relevance of premises to conclusions of core proofs
• Natural deduction and sequent calculus for intuitionistic relevant logic
• On some mistaken beliefs about core logic and some mistaken core beliefs about logic

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 (4)

• The relevance of premises to conclusions of core proofs
• 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)