机译:许可标称逻辑:标称项和集合的一阶逻辑
机译:两种量子逻辑方法的统一:每个Birkhoff – von Neumann量子逻辑都是部分无穷大的Łukasiewicz逻辑
机译:两种量子逻辑方法的统一:每个Birkhoff-von Neumann量子逻辑都是部分无穷大的?ukasiewicz逻辑
机译:CASL中允许偏移的部分逻辑
机译:使用模糊逻辑调谐粒子群优化方法的光伏电池局部遮蔽最大功率点跟踪控制
机译:CASL会员调查
机译:CASL中的允许子分类逻辑
机译:部分逻辑作为标准逻辑的简单约束