作者: Yong Su , Zhudeng Wang
DOI: 10.1016/J.INS.2015.07.027
关键词: Commutative property 、 Contraction (operator theory) 、 Mathematical analysis 、 Negation 、 Binary operation 、 Law of importation 、 Fuzzy connective 、 Pure mathematics 、 Complete lattice 、 Locard's exchange principle 、 Mathematics
摘要: In this paper, we first discuss some properties of residuum and deresiduum a binary operation on complete lattice. Then, investigate the relations between deresiduum. Finally, demonstrate how each individual logical character right infinitely ?-distributive implication, such as law importation, weak exchangeability principle, exchange contrapositive symmetry contraction law, can be translated into property its Moreover, give conditions under which implication is, respectively, left (right) uninorm, pseudo-uninorm show that implications, satisfy principle symmetry, presented by commutative conjunctors strong negations.