迈向良好的逻辑范畴概念
范畴论
2016-03-29 v2 计算机科学中的逻辑
摘要
我们通过范畴论的原始用途，即研究“数学对象的社会学”，来考察（有限、命题）逻辑，这使我们顺应了近期日益增长的趋势，即通过逻辑与其他逻辑的关系（例如逻辑的组合过程 [Gab] 和可能的翻译语义 [Car]）来研究逻辑。因此，研究对象将是逻辑类，即其对象为逻辑系统（即带有塔斯基后果关系的签名）且其态射与这些系统之间的（某种概念的）翻译相关的范畴。本工作提供了考虑同时满足某些自然要求的逻辑系统范畴这一项目的初步步骤；文献 ([AFLM1], [AFLM2], [AFLM3], [BC], [BCC1], [BCC2], [CG], [FC]) 中似乎仅部分实现了这一点。
引用
@article{arxiv.1404.3780,
title = {Towards a good notion of categories of logics},
author = {Caio de Andrade Mendes and Hugo Luiz Mariano},
journal= {arXiv preprint arXiv:1404.3780},
year = {2016}
}
备注
16 pages