(O,N)-蕴涵及其刻画

模糊蕴涵在模糊集理论的理论建立和应用方面都发挥着非常重要的作用。常见的模糊蕴涵通常是由三角模、三角余模和模糊否定通过合适的方法构造而成。根据不同的构造方法,大致可以将模糊蕴涵分为5类,即(S,N)-蕴涵、R-蕴涵、QL-蕴涵、Yager蕴涵和序和蕴涵。本文从经典逻辑中的重言式p→q≡?(p∧?q)出发,在模糊逻辑中研究由重叠函数O和模糊否定N按上述方式生成的模糊蕴涵,称为(O,N)-蕴涵。本文研究(O,N)-蕴涵的基本性质和等价刻画,研究了由(O,N)-蕴涵和模糊否定诱导的类函数和重叠函数。