Interpolation in Non-Classical Logics

MaRDI QIDQ7206049arXivFDO

Authors Wesley Fussner

Publication date 2025

Published in arXiv

Mathematics Subject Classification ID

Abstract deductive systems (03B22) Interpolation, preservation, definability (03C40)

arXiv classification

math.LO

This page was built for publication: Interpolation in Non-Classical Logics

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