基于有序代数的演绎系统的余积与合并
逻辑
2022-02-02 v2
摘要
我们提出多种用于组合或合并命题语言与演绎系统的方法。我们大量使用 quantale 与 quantale 模，延续本文作者及其他学者先前的工作。我们还相当详尽地描述了代数与序论构造同基于纯逻辑方法的相应构造之间的关系。
引用
@article{arxiv.2105.09416,
title = {Coproduct and amalgamation of deductive systems by means of ordered algebras},
author = {Ciro Russo},
journal= {arXiv preprint arXiv:2105.09416},
year = {2022}
}
备注
This paper has been awarded the 2021 Newton da Costa Prize from the Brazilian Logic Society. 27 pages, to appear on Logica Universalis