1) strict implication system
严格蕴涵系统
1.
1 acquired by adding the axiom M on the basis of the strict implication system S4.
文献眼7演证明了严格蕴涵系统S4的协调性,本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4。
2) strict implication
严格蕴涵
1.
It is argued that strict implication proposed by Lewis is essentially the same as material implication in that it is a truth-unction based defintion of implication.
严格蕴涵和实质蕴涵本质上都是基于命题真假函项的蕴涵概念的定义方法,并不能从根本上解决实质蕴涵会导致蕴涵怪论的问题。
3) paradoxes of strict implication
严格蕴涵悖论
4) Lattice Implication Algebra Axioms
格蕴涵代数的公理系统
5) implication lattice
蕴涵格
1.
Normal MP-filters and prime filters of an implication lattice;
蕴涵格的正规MP滤子与素滤子
2.
The paper starts from the set of pairs <■(X),～■(X)>, by defining an implication operator, proves that this rough set formed by the pairs becomes an implication lattice.
本文从偶序对<■(X),~■(X)>构成的集合入手,通过定义蕴涵运算证明了偶序对<■(X),~■(X)>所成集合构成蕴涵格,讨论了粗蕴涵格与正则双Stone代数的关系。
3.
Based on the triple-I method,the expressions of triple-I algorithm and α-triple-I algorithm are given when the implication operator is used in an implication lattice.
基于模糊推理的全蕴涵三I算法,给出了当蕴涵算子→为蕴涵格中的蕴涵算子(称为IL型蕴涵)时的三I算法和α-三I算法的表达式,并进一步讨论了IL型三IMT算法。
6) implicative semilattices
蕴涵半格
1.
A note of implicative semilattices;
蕴涵半格的一个注记(英文)
补充资料：严格蕴涵演算
严格蕴涵演算
strict implication calculus
严格蕴涵演算[striet inl两ca坟”ca」。dlls;c二poro云“Mn月“R叫M“Mc，Hc月elf”el 基于严格蕴涵(strict imPlicat幻n)的一种逻辑演算(fogical calculus)，即与“如果··…那么……”相联系的逻辑运算上的一种演算.对于严格蕴涵来说，所谓的“(实质)蕴涵悖论”可完全地或部分地避免:一个假命题蕴涵任一命题，而任一命题蕴涵一个真命题. 严格蕴涵演算的目的是为了反映条件命题的前提与结论之问意义上的联系.存在一个完整的严格蕴涵演算系列(Lewis演算，Ackern‘，rm演算，及其他演算)，它们彼此之间的区分是由一些公式在某些演算中可以推出，而在另一些演算中不能推出的事实来确定(例如，在Lewis演算中“蕴涵悖论”仅仅部分地可避免，然而在Ackermann演算中却可完全避免).严格蕴涵演算同模态语句(“它是可能的”，“它是不可能的”，“它是必要的”等等)的形式体系化有密切联系;在某些演算中，严格蕴涵通过模态(1议汕涵ty)来表示，而在另一些演算中，模态是通过严格蕴涵来表示.【补注】其他试图避免“蕴涵悖论”的方法(例如牛言三段论(disjunctive syllogism)A八(门A VB)睁月)，有以相关逻辑(relevant 10百e)的名称出现的(IAll).11}中的Lewis演算的51一55也被视为Lc、s调查系统(Lewis sury即systelll)(【A3」).
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条