广义Bosbach态

Bosbach态代表了一种概率性地评估来自各种（交换或非交换）多值逻辑公式的方法。它们定义在对应于这些逻辑的代数上，取值于$[0,1]$。从Bosbach态的定义中涉及$[0,1]$的标准MV-代数结构这一观察出发，本文引入了定义在剩余格上且取值于剩余格中的Bosbach态。这引出了两种类型的广义Bosbach态，它们具有不同的行为。本文证明的广义Bosbach态的性质，可为发展某些概率多值逻辑奠定代数基础。