逻辑中对偶性的一次巡览：从量词、经由 Vietoris 到测度
计算机科学中的逻辑
2020-07-31 v1 范畴论
一般拓扑
逻辑
摘要
我们识别并强调了 Samson Abramsky 工作中某些具有里程碑意义的结果，相信这些结果对当前的发展与未来的趋势至关重要。具体而言，我们聚焦于以下方面的应用：(i) 拓扑对偶方法以解决逻辑与计算机科学中的问题；(ii) 范畴论，更具体地，自由（与余自由）构造；(iii) 利用这些工具统一计算机科学中“能力”与“结构”两条研究脉络。
引用
@article{arxiv.2007.15415,
title = {A Cook's tour of duality in logic: from quantifiers, through Vietoris, to measures},
author = {Mai Gehrke and Tomas Jakl and Luca Reggio},
journal= {arXiv preprint arXiv:2007.15415},
year = {2020}
}
备注
29 pages