6 papers
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…
Questions as cognitive filters
Willem Conradie, Krishna Manoorkar, Alessandra Palmigiano +2
In this paper, we develop a logico-algebraic framework for modeling decision-making through deliberation in multi-agent settings. The central concept in this framework is that of i…
Normative implications
Andrea De Domenico, Ali Farjami, Krishna Manoorkar +4
We continue to develop a research line initiated in \cite{wollic22}, studying I/O logic from an algebraic approach based on subordination algebras. We introduce the classes of slan…
Flexible categorization using formal concept analysis and Dempster-Shafer theory
Marcel Boersma, Krishna Manoorkar, Alessandra Palmigiano +3
The framework developed in the present paper provides a formal ground to generate and study explainable categorizations of sets of entities, based on the epistemic attitudes of ind…