Glivenko定理相关论文
模糊逻辑是由L.A.Zadeh于1967年首先建立,是非经典数理逻辑的一个重要分支,也是信息科学与人工智能等诸多领域中推理机制的基础.模......
逻辑代数上的Bosbach态与Riecan态是经典概率论中Kolmogorov公理的两种不同方式的多值化推广,也是概率计量逻辑中语义计量化方法的......