We identify and highlight certain landmark results in Samson Abramsky's work which we believe are fundamental to current developments and future trends. In particular, we focus on the use of (i) topological duality methods to solve problems in logic and computer science; (ii) category theory and, more particularly, free (and co-free) constructions; (iii) these tools to unify the `power' and `structure' strands in computer science.
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures / M. Gehrke, T. Jakl, L. Reggio (OUTSTANDING CONTRIBUTIONS TO LOGIC). - In: Samson Abramsky on Logic and Structure in Computer Science and Beyond / [a cura di] A. Palmigiano, M. Sadrzadeh. - [s.l] : Springer, 2023. - ISBN 978-3-031-24116-1. - pp. 129-158 [10.1007/978-3-031-24117-8_4]
A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures
L. Reggio
2023
Abstract
We identify and highlight certain landmark results in Samson Abramsky's work which we believe are fundamental to current developments and future trends. In particular, we focus on the use of (i) topological duality methods to solve problems in logic and computer science; (ii) category theory and, more particularly, free (and co-free) constructions; (iii) these tools to unify the `power' and `structure' strands in computer science.
| File | Dimensione | Formato | |
|---|---|---|---|
|
Gehrke, Jakl, Reggio - A Cook_s Tour of Duality in Logic.pdf
accesso riservato
Tipologia:
Publisher's version/PDF
Dimensione
641.94 kB
Formato
Adobe PDF
|
641.94 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
