Interpolation and the Exchange Rule

MaRDI QIDQ6456328zbMATH OpenFDO

Authors Wesley Fussner, George Metcalfe, Simon Santschi

Publication date 23 October 2023

Mathematics Subject Classification ID

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)