强否定相关论文
模糊蕴涵算子在模糊逻辑和近似推理中发挥重要作用，诸多模糊系统由该类算子定义模糊规则。此外，模糊蕴涵算子还被广泛应用于模糊关系......
本文主要研究基于严格和幂零三角模的蕴涵分配性函数方程的解以及相关函数方程组的解.具体地说分两个主要部分：一部分是关于基于严......
本文主要研究了满足函数方程I(x，I(x,y(x,I(x,y)=I（x，y）的连续D-蕴涵算子和由一致模生成的R-,S-,QL-蕴涵，同时基于它们给出了上述函数方......
研究了I(x,I(y,x))=1,其中I为由强否定N和连续三角模T生成的IT,N蕴涵,即IT,N(x,y)=N(T(x,N(y))),x,y∈[0,1],给出了满足I(x,I(y,x)......
否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定，我们在此也用关系语义刻画一个强否定。所不同的是，我们的否定是......
“半”的模糊语义不同，其隐含的否定意义也不同，通过系统分析总结出模糊量“半”在不同组合中的弱否定特征：否定部分量、部分性质、部......
考察了形式系统(L)*完备性的现有证明过程,并对其中所涉及的R0代数同构问题进行了研究,分析了关于(L)*系统强完备性证明中的错误并......
<正> 俄语中的否定语气词He和是两个应用非常广泛的小品词,其在俄文中的重复频率分别达19228次和1436次之多。 1.否定语气词He 否......
研究I（x，n（x））=n（x），其中I为由连续三角模T、连续三角余模S和强否定n生成的D-蕴涵，即I（x，y）=S（T（n（x），n（y）），y），给出了满足I（x，α≈（z））=n（0）的充要条件。......
研究函数方程组I（x，T（y，z））=T（I（x，y），I（x，z）），I（x，y），）=I（N（y），N（x））的解，其中T：[0，1]^2→[0，1]是一个严格三角模，I：[0，1]^2→[0，1]是一个模糊蕴涵算子和N：[0，1]→[0，1]是......
