经典二值逻辑作为典范模糊逻辑的特殊情形
综合数学
2023-03-13 v1
摘要
本文综述了经典二值逻辑(BL)与典范模糊逻辑(CFL)中命题演算的每条定律或重言式与集合论中一条定律之间的对应关系。后者由以下两者的相等构成:a)一个其结构与命题演算中所考察定律同构的集合,以及 b)全集。除作者先前考虑的CFL运算外,最初通过考察其中两种运算即集合的并运算与集合的交运算来关注无限集合上的运算。同时关注了BL中的命题演算如何可视为CFL中命题演算的特殊情形,以及经典集合论如何可依据CFL视为模糊集合论的特殊情形。
引用
@article{arxiv.2303.05925,
title = {Classical Bivalent Logic as a Particular Case of Canonical Fuzzy Logic},
author = {Osvaldo Skliar and Sherry Gapper and Ricardo E. Monge},
journal= {arXiv preprint arXiv:2303.05925},
year = {2023}
}
备注
48 pages