机构名称：
¥ 1.0
定量代数推理是在Bacci，Mardare，Panangaden和Plotkin [5，15，16，6]的一系列文章中形式化的，作为研究概率计算中计算效应的工具。这些论文与代数合作的类别符合度量空间或完整度量空间的CMET。定量代数是作用在（完整）度量空间a上的代数，因此每个n -ary操作都是从最大度量到a的n的无X级映射。如果基础度量是超级测量，我们谈论超定量代数。Mardare等。引入了定量方程，即形式表达式t =εt'其中t和t'是术语，ε≥0是一个有理数。一个定量代数A满足该方程式IFF对于变量的每个解释，对应于T和T'的元素的每个解释最多都具有ε。一种变体（在[15]中称为1个基本品种）是一组由一组定量方程提出的定量代数。代数的经典品种众所周知，可以将其与set上的限制单数t相对应（保存定向的colimits）：每个品种与
非常适合定量代数的品种
主要关键词
相关文件推荐
