3 papers
math.LO2026
Refutation calculi for lattice-based logics: from display to tableaux
Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano +2
Refutation calculi are formal systems developed to derive the invalid formulas of a given logic. While the notion of refutation calculi has played a key role in the development of…
math.LO2026
Inception Display Calculi
Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano
Display calculi were introduced by Nuel Belnap in `Display logic' (1982) as a natural extension of Gentzen's sequent calculi, as a uniform and modular framework capable of encompas…
math.LO2026
Modular constructive Lyndon interpolation for nondistributive logics
Andrea De Domenico, Giuseppe Greco, Alessandra Palmigiano +1
We establish the Lyndon interpolation property for basic lattice expansion logics (LE-logics) in arbitrary signatures using display calculi. Our approach is constructive, yielding…