作为分式的逻辑规则与作为概形的逻辑
计算机科学中的逻辑
2018-07-05 v1 范畴论
摘要
在这篇短文中，我们利用范畴论论证：逻辑规则可视为分式，而逻辑可视为极限概形(limit sketches)。
引用
@article{arxiv.1807.01620,
title = {Logical rules as fractions and logics as sketches},
author = {Dominique Duval},
journal= {arXiv preprint arXiv:1807.01620},
year = {2018}
}