Interpolation and the Exchange Rule
From MaRDI portal
Publication:6456328
arXiv2310.14953MaRDI QIDQ6456328FDOQ6456328
Authors: Wesley Fussner, George Metcalfe, Simon Santschi 
Publication date: 23 October 2023
Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Other algebras related to logic (03G25) Interpolation, preservation, definability (03C40) Quantifier elimination, model completeness, and related topics (03C10)
This page was built for publication: Interpolation and the Exchange Rule
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6456328)
