Gehrke, M;
Jakl, T;
Reggio, L;
(2023)
A Cook’s Tour of Duality in Logic: From Quantifiers, Through Vietoris, to Measures.
In: Palmigiano, Alessandra and Sadrzadeh, Mehrnoosh, (eds.)
Samson Abramsky on Logic and Structure in Computer Science and Beyond.
(pp. 129-158).
Springer Nature
Preview |
Text
Reggio_A Cooks Tour of Duality in Logic- From Quantifiers, Through Vietoris, to Measures_chapter_AAM.pdf - Accepted Version Download (406kB) | Preview |
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 topological duality methods to solve problems in logic and computer science; category theory and, more particularly, free (and co-free) constructions; these tools to unify the ‘power’ and ‘structure’ strands in computer science.
| Type: | Book chapter |
|---|---|
| Title: | A Cook’s Tour of Duality in Logic: From Quantifiers, Through Vietoris, to Measures |
| ISBN-13: | 978-3-031-24116-1 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-031-24117-8_4 |
| Publisher version: | http://dx.doi.org/10.1007/978-3-031-24117-8_4 |
| Language: | English |
| Additional information: | This version is the author accepted manuscript. For information on re-use, please refer to the publisher's terms and conditions. |
| Keywords: | Duality theory, Topological methods in logic, Vietoris space, Quantifiers and measures, Structural limits, Lindenbaum-Tarski algebras, Free constructions |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery-pp.ucl.ac.uk/id/eprint/10184426 |
Archive Staff Only
 |
View Item |
