A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2023

A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures

Résumé

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.
Fichier principal
Vignette du fichier
Gehrke, Jakl, Reggio - A Cook's tour of duality in logic.pdf (388.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03795820 , version 1 (04-10-2022)

Identifiants

Citer

Mai Gehrke, Tomáš Jakl, Luca Reggio. A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures. Samson Abramsky on Logic and Structure in Computer Science and Beyond, A. Palmigiano and M. Sadrzadeh (eds.), Springer Series., 25, Springer International Publishing, pp.129-158, 2023, Outstanding Contribution to Logic,, ⟨10.1007/978-3-031-24117-8_4⟩. ⟨hal-03795820⟩
18 Consultations
27 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More