2 papers
math.LO2022
Unified inverse correspondence for DLE-Logics
Willem Conradie, Andrea De Domenico, Giuseppe Greco +3
By exploiting the algebraic and order theoretic mechanisms behind Sahlqvist correspondence, the theory of unified correspondence provides powerful tools for correspondence and cano…
cs.LO2021
On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework
Domenico Cantone, Andrea De Domenico, Pietro Maugeri
The Satisfiability Modulo Theories (SMT) issue concerns the satisfiability of formulae from multiple background theories, usually expressed in the language of first-order predicate…