26 citations · 131 across the 26 of their papers we have counts for
3 papers · 1 filter
Canonical Extensions of Quantale-Enriched Categories
Alexander Kurz, Apostolos Tzimoulis
Drawing on well-known results from the theory of canonical extensions and the theory of categories enriched over a quantale, we define canonical extensions of quantale-enriched cat…
A proof-theoretic approach to abstract interpretation
Vijay D'Silva, Alessandra Palmigiano, Apostolos Tzimoulis +1
This paper develops a proof-theoretic framework for abstract interpretation by systematically associating logical systems with finite abstractions. Building on earlier work on the…
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…