Why intuitionistic relevant logic cannot be a core logic

DOI10.1215/00294527-3839326MaRDI QIDQ2364652zbMATH OpenOpenAlexFDO

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

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)

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

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)