TY  - RPRT
TI  - Modular constructive Lyndon interpolation for nondistributive logics
AU  - Andrea De Domenico
AU  - Giuseppe Greco
AU  - Alessandra Palmigiano
AU  - Apostolos Tzimoulis
PY  - 2026
UR  - https://arxiv.org/abs/2605.17161
ID  - 2605.17161
ER  -