This paper focuses on the robustness problem of full implication triple implication inference method for fuzzy reasoning. First of all, based on strong regular implication, the weighted logic metric for measuring distance between two fuzzy sets is proposed. Besides, under this metric, some robustness results of the triple implication method are obtained, which demonstrates that the triple impli...

When R is a local ring with a nilpotent maximal ideal, the Ore extension R[x;σ, δ] will or will not be 2-primal depending on the δ-stability of the maximal ideal of R. In the case where R[x;σ, δ] is 2-primal, it will satisfy an even stronger condition; in the case where R[x;σ, δ] is not 2-primal, it will fail to satisfy an even weaker condition. 1. Background and motivation In [13, Proposition ...

Many DPLL-based [1] SAT solvers use an implementation of the two-literal watching scheme (TLWS) first used in Chaff [6] for boolean constraint propagation (BCP). For the extreme case of binary clauses this otherwise efficient algorithm has a large overhead in memory usage. In this report a technique called implication table for augmenting TLWS will be described and mathematically analyzed, that...

Firstly, two kinds of natural distances between intuitionistic fuzzy sets are generated by the classical natural distance between fuzzy sets under a unified framework of residual intuitionistic implication operators. Secondly, the continuity and approximation property of a method for solving intuitionistic fuzzy reasoning are defined. It is proved that the triple implication method for intuitio...

As a generalization of the triple I method, the universal triple Imethod is investigated from the viewpoints of both fuzzy reasoningand fuzzy controller. The universal triple I principle is putforward, which improves the previous triple I principle. Then,unified form of universal triple I method is established based onthe (0,1)-implication or R-implication. Moreover, the reversibilityproperty o...

as a generalization of the triple i method, the universal triple imethod is investigated from the viewpoints of both fuzzy reasoningand fuzzy controller. the universal triple i principle is putforward, which improves the previous triple i principle. then,unified form of universal triple i method is established based onthe (0,1)-implication or r-implication. moreover, the reversibilityproperty o...

In this paper, we firstly show that the $N$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $N$-dual operation. As a dual result, the $N$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

Classical logic is unfortunately defective with its problematic definition of implication relation, the “material implication”. This work presents a corrected definition of implication relation to replace material implication in classical logic. Common “paradoxes” of material implication are avoided while simplicity and usefulness of the system are reserved with this definition of implication r...

This paper deals with the problem of the aggregation of implication functions. After characterizing those binary operations which merge two implication functions into a new implication function, we study some aspects of the aggregated implication functions in terms of the two given ones. In particular, we are interested in aggregation processes such that properties of the implication functions ...