Modular constructive Lyndon interpolation for nondistributive logics

MaRDI QIDQ7251775arXivFDO

Authors Andrea de Domenico, Giuseppe Greco, Alessandra Palmigiano, Apostolos Tzimoulis

Publication date 2026

Published in arXiv

arXiv classification

math.LO

This page was built for publication: Modular constructive Lyndon interpolation for nondistributive logics

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