A Cook’s Tour of Duality in Logic: From Quantifiers, Through Vietoris, to Measures

, &
In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 129-158 (2023)
  Copy   BIBTEX

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 oftopological 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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/978-3-031-24117-8_4

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Logical Journeys: A Scientific Autobiography.Samson Abramsky - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 1-38.
Samson Abramsky on Logic and Structure in Computer Science and Beyond.Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.) - 2023 - Springer Verlag.
An Axiomatic Account of a Fully Abstract Game Semantics for General References.Jim Laird & Guy McCusker - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 251-292.
(Towards a) Statistical Probabilistic Lazy Lambda Calculus.Radha Jagadeesan - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 1073-1094.
Structure in Machine Learning.Prakash Panangaden - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 1147-1157.
Duality, Intensionality, and Contextuality: Philosophy of Category Theory and the Categorical Unity of Science in Samson Abramsky.Yoshihiro Maruyama - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 41-88.
Semantics for a Lambda Calculus for String Diagrams.Bert Lindenhovius, Michael Mislove & Vladimir Zamdzhiev - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 973-1003.
The Strategic Balance of Games in Logic.Jouko Väänänen - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 755-770.
Constraint Satisfaction, Graph Isomorphism, and the Pebbling Comonad.Anuj Dawar - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 671-699.
Describing and Animating Quantum Protocols.Richard Bornat & Rajagopal Nagarajan - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh (eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 447-473.

Analytics

Added to PP
2023-08-04

Downloads
4 (#1,013,551)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references