模糊逻辑与四值相关逻辑之间的关系
离散数学
2007-05-23 v1
摘要
在模糊命题逻辑中，赋予命题一个[0,1]区间内的部分真值。众所周知，在某些情况下，模糊逻辑会退化为经典逻辑。本文将展示在双重条件下，模糊逻辑会退化为四值（相关）逻辑，其中命题具有真值true、false、unknown或contradiction。据此，模糊蕴涵可被视为介于四值（相关）蕴涵和经典蕴涵之间。
引用
@article{arxiv.cs/0010036,
title = {Lattice Structure and Convergence of a Game of Cards},
author = {Eric Goles and Michel Morvan and Ha Duong Phan},
journal= {arXiv preprint arXiv:cs/0010036},
year = {2007}
}
备注
10 pages, 1 figures, submitted. See also: http://www.liafa.jussieu.fr/~phan/anglais/public.html