经典二值逻辑作为规范模糊逻辑的特例
摘要：经典双值逻辑（BL）和经典模糊逻辑（CFL）之间存在相应关系的综述：命题演算中的每个定律或公理都对应于集合论中的一个定律，后者由a)一个结构同命题演算中的定律同构的集合，以及b)全集的等式组成。除了作者之前考虑的CFL操作外，本文还着重考虑了两个无限集合的操作：集合的并和集合的交。此外，本文还探讨了BL中的命题演算如何看作是CFL中命题演算的特殊情况，以及经典集合论如何根据CFL来看作模糊集合论的特殊情况。
作者：Osvaldo Skliar, Sherry Gapper, Ricardo E. Monge
论文ID：2303.05925
分类：General Mathematics
分类简称：math.GM
提交时间：2023-03-13