等式逻辑的数学综合
计算机科学中的逻辑
2015-07-01 v3 范畴论
逻辑
摘要
我们提供了一种从代数元理论综合等式逻辑的数学理论和方法。通过两个应用来说明我们的方法：Birkhoff等式逻辑的理性重构，以及一种用于推理具有名称绑定算子的代数结构的新等式逻辑。
关键词
引用
@article{arxiv.1107.3031,
title = {On the mathematical synthesis of equational logics},
author = {Marcelo Fiore and Chung-Kil Hur},
journal= {arXiv preprint arXiv:1107.3031},
year = {2015}
}
备注
Final version for publication in Logical Methods in Computer Science