Revisiting Interpolation in Relevant Logics

MaRDI QIDQ7205513arXivFDO

Authors Wesley Fussner, Andrew Tedder

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Interpolation, preservation, definability (03C40)

arXiv classification

math.LO

This page was built for publication: Revisiting Interpolation in Relevant Logics

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