摘要：部分有序阿贝尔群的单位区间形成一个区间效应代数（IEA），可视为形式演绎逻辑语义的代数模型。IEA类别与单幺半群类别之间存在范畴上的等价，使得可以将IEA的逻辑特征转化为对应单幺半群的代数特性。本文研究IEA-单幺半群之间的联系，重点关注IEA为布尔代数、量子逻辑、MV-代数或Heyting MV-代数的情况。
作者：David J. Foulis
论文ID：math/0504553
分类：Logic
分类简称：math.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中