Pt-模相关论文
多值逻辑的一个重要研究方向是对有关代数系统的研究,不同的多值逻辑系统对应着不同的多值逻辑代数.著名逻辑学家C.C.Chang提出了M......
三角模和蕴涵算子是逻辑代数中的一对相互关联的基本算子,而WBR0-代数是仅以蕴涵算子为基本算子定义于一般集合上的逻辑代数。对WBR......