多值逻辑的一个重要研究方向是对有关代数系统的研究,不同的多值逻辑系统对应着不同的多值逻辑代数.著名逻辑学家C.C.Chang提出了M......

三角模和蕴涵算子是逻辑代数中的一对相互关联的基本算子，而WBR0-代数是仅以蕴涵算子为基本算子定义于一般集合上的逻辑代数。对WBR......

设R是有单位元的结合环，M是左R-模．定义了Hurwitz幂级数环上的模（HM，r），并证明了若τ是M上的单自同态，M是无挠的PS-模，则（HM，τ）也是PS-模．......