{"id":"arxiv/2605.17161","url":"https://arxiv.org/abs/2605.17161","tags":["math.LO"],"score":0,"title":"Modular constructive Lyndon interpolation for nondistributive logics","domain":"math.LO","source":"arxiv","authors":["Andrea De Domenico","Giuseppe Greco","Alessandra Palmigiano","Apostolos Tzimoulis"],"reviews":0,"subject":"math.LO","summary":"We establish the Lyndon interpolation property for basic lattice expansion logics (LE-logics) in arbitrary signatures using display calculi. Our approach is constructive, yielding interpolants algorithmically from derivations, and modular, in the sense that interpolation for axiomatic extensions can be obtained by verifying a local interpolation property for the analytic structural rules corresponding to the additional axioms. To this end, we identify a class of interpolation-safe structural rules preserving local Lyndon interpolation. As applications of the general framework, we show that…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-16","reactions":{}}