与通常相似度定义在真度基础上不同,在S-蕴涵模糊逻辑系统中提出了基于S-蕴涵算子的积分相似度。讨论了积分相似与逻辑等价的关系,给出了积分相似度的推理性质,提出了与积分相似度对应的伪距离。论证了伪距离空间中逻辑算子都是连续的。