Presenting functors on many-sorted varieties and applications
Presenting functors on many-sorted varieties and applications
复制标题
介绍函子的多种分类和应用
DOI：
10.1016/j.ic.2009.11.007
复制
发表时间：
2010
影响因子：
1
通讯作者：
Kurz A
中科院分区：
文献类型：
--
作者：
Kurz A
本文研究了用运算和方程表示函子概念的几种应用。我们证明，从技术上直接推广这个概念从一排序到多排序的情况有几个有趣的结果。首先，它可以用于为抽象语法建模的绑定代数给出等式逻辑。其次，它提供了一阶逻辑代数语义的范畴方法。第三，这个概念将任意类型T的共代数的统一逻辑处理与具体的语法和证明系统联系起来。分析多排序情形是协代数逻辑的模完备性证明的必要条件。
This paper studies several applications of the notion of a presentation of a functor by operations and equations. We show that the technically straightforward generalisation of this notion from the one-sorted to the many-sorted case has several interesting consequences. First, it can be applied to give equational logic for the binding algebras modelling abstract syntax. Second, it provides a categorical approach to algebraic semantics of first-order logic. Third, this notion links the uniform treatment of logics for coalgebras of an arbitrary type T with concrete syntax and proof systems. Analysing the many-sorted case is essential for modular completeness proofs of coalgebraic logics.
登录
查看更多内容
包含一阶逻辑
DOI：
--
发表时间：
1981
期刊：
影响因子：
--
作者：
Roch Ouellet
通讯作者：
Roch Ouellet
DOI：
--
发表时间：
2012
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
A. Kurz;J. Rosický
通讯作者：
J. Rosický
论名义集合上的通用代数
影响因子：
0.5
作者：
KURZ A
通讯作者：
KURZ A
关联互模拟的余代数概念：及其在名称传递过程演算中的应用
DOI：
--
发表时间：
2009
期刊：
Conference on Algebra and Coalgebra in Computer Science
影响因子：
--
作者：
S. Staton
通讯作者：
S. Staton
影响因子：
1.9
作者：
J. Adámek;J. Rosický;E. Vitale
通讯作者：
E. Vitale