Topology; Lattices; Boolean algebra; Geometry; Computer science; Indexes;
机译:拓扑对偶性在代数多值逻辑测度理论中的应用
机译:多值逻辑和Zadeh的模糊集:区间值Lukasiewicz-Moisil代数的石头表示定理
机译:可持久化但并非完全可持久化的代数
机译:低维高等类别理论的平化性
机译:通用逻辑模块及其在逻辑网络设计中的应用
机译:局部有限多值逻辑的证明理论:半射逻辑
机译:代数是可互连的但不完全可互连的