7 papers
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…
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…
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…
Obligations and permissions, algebraically
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We further develop the algebraic approach to input/output logic initiated in \cite{wollic22}, where subordination algebras and a family of their generalizations were proposed as a…
Obligations and permissions on selfextensional logics
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +3
We further develop the abstract algebraic logic approach to input/output logic initiated in \cite{wollic22}, where the family of selfextensional logics was proposed as a general ba…
Labelled calculi for the logics of rough concepts
Ineke van der Berg, Andrea De Domenico, Giuseppe Greco +3
We introduce sound and complete labelled sequent calculi for the basic normal non-distributive modal logic L and some of its axiomatic extensions, where the labels are atomic formu…