Constructions of Implications Satisfying the Order Property on a Complete Lattice

Yuan Wang; Keming Tang; Zhudeng Wang

doi:doi:10.11648/j.acis.20170501.11

| Peer-Reviewed

Constructions of Implications Satisfying the Order Property on a Complete Lattice

Yuan Wang, Keming Tang, Zhudeng Wang

Published in Automation, Control and Intelligent Systems (Volume 5, Issue 1)

Received: 7 January 2017 Accepted: 19 January 2017 Published: 23 February 2017

Views: Downloads:

Download PDF

Share This Article

Twitter
Linked In
Facebook

Abstract

In this paper, we further investigate the constructions of fuzzy connectives on a complete lattice. We firstly illustrate the concepts of left (right) semi-uninorms and implications satisfying the order property by means of some examples. Then we give out the formulas for calculating the upper and lower approximation implications, which satisfy the order property, of a binary operation.

Published in	Automation, Control and Intelligent Systems (Volume 5, Issue 1)
DOI	10.11648/j.acis.20170501.11
Page(s)	1-7
Creative Commons	This is an Open Access article, distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution and reproduction in any medium or format, provided the original work is properly cited.
Copyright	Copyright © The Author(s), 2017. Published by Science Publishing Group

Keywords

Fuzzy Logic, Fuzzy Connective, Implication, Order Property

References

[1]	J. Fodor and M. Roubens, “Fuzzy Preference Modelling and Multicriteria Decision Support”, Theory and Decision Library, Series D: System Theory, Knowledge Engineering and Problem Solving, Kluwer Academic Publishers, Dordrecht, 1994.
[2]	G. J. Klir and B. Yuan, “Fuzzy Sets and Fuzzy Logic, Theory and Applications”, Prentice Hall, New Jersey, 1995.
[3]	E. P. Klement, R. Mesiar and E. Pap, “Triangular Norms”, Trends in Logic-Studia Logica Library, Vol. 8, Kluwer Academic Publishers, Dordrecht, 2000.
[4]	M. Baczynski and B. Jayaram, “Fuzzy Implication”, Studies in Fuzziness and Soft Computing, Vol. 231, Springer, Berlin, 2008.
[5]	M. Baczynski and B. Jayaram, “QL-implications: some properties and intersections”, Fuzzy Sets and Systems, 161, 158-188, 2010.
[6]	H. Bustince, P. Burillo and F. Soria, “Automorphisms, negations and implication operators”, Fuzzy Sets and Systems, 134, 209-229, 2003.
[7]	F. Durante, E. P. Klement, R. Mesiar and C. Sempi, “Conjunctors and their residual implicators: characterizations and construction methods”, Mediterranean Journal of Mathematics, 4, 343-356, 2007.
[8]	Y. Shi, B. Van Gasse, D. Ruan and E. E. Kerre, “On dependencies and independencies of fuzzy implication axioms”, Fuzzy Sets and Systems, 161, 1388-1405, 2010.
[9]	J. Fodor and T. Keresztfalvi, “Nonstandard conjunctions and implications in fuzzy logic”, International Journal of Approximate Reasoning, 12, 69-84, 1995.
[10]	J. Fodor, “Srict preference relations based on weak t-norms”, Fuzzy Sets and Systems, 43, 327-336, 1991.
[11]	Z. D. Wang and Y. D. Yu, “Pseudo-t-norms and implication operators on a complete Brouwerian lattice”, Fuzzy Sets and Systems, 132, 113-124, 2002.
[12]	Y. Su and Z. D. Wang, “Pseudo-uninorms and coimplications on a complete lattice”, Fuzzy Sets and Systems, 224, 53-62, 2013.
[13]	Z. D. Wang and J. X. Fang, “Residual operators of left and right uninorms on a complete lattice”, Fuzzy Sets and Systems, 160, 22-31, 2009.
[14]	H. W. Liu, “Semi-uninorm and implications on a complete lattice”, Fuzzy Sets and Systems, 191, 72-82, 2012.
[15]	Y. Ouyang, “On fuzzy implications determined by aggregation operators”, Information Sciences, 193, 153-162, 2012.
[16]	R. R. Yager and A. Rybalov, “Uninorm aggregation operators”, Fuzzy Sets and Systems, 80, 111-120, 1996.
[17]	J. Fodor, R. R. Yager and A. Rybalov, “Structure of uninorms”, Internat. J. Uncertainly, Fuzziness and Knowledge-Based Systems, 5, 411-427, 1997.
[18]	M. Mas, M. Monserrat and J. Torrens, “On left and right uninorms”, Internat. J. Uncertainly, Fuzziness and Knowledge-Based Systems, 9, 491-507, 2001.
[19]	M. Mas, M. Monserrat and J. Torrens, “On left and right uninorms on a finite chain”, Fuzzy Sets and Systems, 146, 3-17, 2004.
[20]	Z. D. Wang and J. X. Fang, “Residual coimplicators of left and right uninorms on a complete lattice”, Fuzzy Sets and Systems, 160, 2086-2096, 2009.
[21]	Y. Su, Z. D. Wang and K. M. Tang, “Left and right semi-uninorms on a complete lattice”, Kybernetika, 49, 948-961, 2013.
[22]	B. De Baets and J. Fodor, “Residual operators of uninorms”, Soft Computing, 3, 89-100, 1999.
[23]	M. Mas, M. Monserrat and J. Torrens, “Two types of implications derived from uninorms”, Fuzzy Sets and Systems, 158, 2612-2626, 2007.
[24]	Z. D. Wang, “Generating pseudo-t-norms and implication operators”, Fuzzy Sets and Systems, 157, 398-410, 2006.
[25]	Y. Su and Z. D. Wang, “Constructing implications and coimplications on a complete lattice”, Fuzzy Sets and Systems, 247, 68-80, 2014.
[26]	X. Y. Hao, M. X. Niu and Z. D. Wang, “The relations between implications and left (right) semi-uninorms on a complete lattice”, Internat. J. Uncertainly, Fuzziness and Knowledge-Based Systems, 23, 245-261, 2015.
[27]	X. Y. Hao, M. X. Niu, Y. Wang and Z. D. Wang, “Constructing conjunctive left (right) semi-uninorms and implications satisfying the neutrality principle”, Journal of Intelligent and Fuzzy Systems, 31, 1819-1829, 2016.
[28]	M. X. Niu, X. Y. Hao and Z. D. Wang, “Relations among implications, coimplications and left (right) semi-uninorms”, Journal of Intelligent and Fuzzy Systems, 29, 927-938, 2015.
[29]	Z. D. Wang, M. X. Niu and X. Y. Hao, “Constructions of coimplications and left (right) semi-uninorms on a complete lattice”, Information Sciences, 317, 181-195, 2015.
[30]	Z. D. Wang, “Left (right) semi-uninorms and coimplications on a complete lattice”, Fuzzy Sets and Systems, 287, 227-239, 2016.
[31]	G. Birkhoff, “Lattice Theory”, American Mathematical Society Colloquium Publishers, Providence, 1967.

Cite This Article

Plain Text BibTeX RIS

APA Style

Yuan Wang, Keming Tang, Zhudeng Wang. (2017). Constructions of Implications Satisfying the Order Property on a Complete Lattice. Automation, Control and Intelligent Systems, 5(1), 1-7. https://doi.org/10.11648/j.acis.20170501.11

Copy | Download

ACS Style

Yuan Wang; Keming Tang; Zhudeng Wang. Constructions of Implications Satisfying the Order Property on a Complete Lattice. Autom. Control Intell. Syst. 2017, 5(1), 1-7. doi: 10.11648/j.acis.20170501.11

Copy | Download

AMA Style

Yuan Wang, Keming Tang, Zhudeng Wang. Constructions of Implications Satisfying the Order Property on a Complete Lattice. Autom Control Intell Syst. 2017;5(1):1-7. doi: 10.11648/j.acis.20170501.11

Copy | Download

@article{10.11648/j.acis.20170501.11,
  author = {Yuan Wang and Keming Tang and Zhudeng Wang},
  title = {Constructions of Implications Satisfying the Order Property on a Complete Lattice},
  journal = {Automation, Control and Intelligent Systems},
  volume = {5},
  number = {1},
  pages = {1-7},
  doi = {10.11648/j.acis.20170501.11},
  url = {https://doi.org/10.11648/j.acis.20170501.11},
  eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.acis.20170501.11},
  abstract = {In this paper, we further investigate the constructions of fuzzy connectives on a complete lattice. We firstly illustrate the concepts of left (right) semi-uninorms and implications satisfying the order property by means of some examples. Then we give out the formulas for calculating the upper and lower approximation implications, which satisfy the order property, of a binary operation.},
 year = {2017}
}

Copy | Download

TY  - JOUR
T1  - Constructions of Implications Satisfying the Order Property on a Complete Lattice
AU  - Yuan Wang
AU  - Keming Tang
AU  - Zhudeng Wang
Y1  - 2017/02/23
PY  - 2017
N1  - https://doi.org/10.11648/j.acis.20170501.11
DO  - 10.11648/j.acis.20170501.11
T2  - Automation, Control and Intelligent Systems
JF  - Automation, Control and Intelligent Systems
JO  - Automation, Control and Intelligent Systems
SP  - 1
EP  - 7
PB  - Science Publishing Group
SN  - 2328-5591
UR  - https://doi.org/10.11648/j.acis.20170501.11
AB  - In this paper, we further investigate the constructions of fuzzy connectives on a complete lattice. We firstly illustrate the concepts of left (right) semi-uninorms and implications satisfying the order property by means of some examples. Then we give out the formulas for calculating the upper and lower approximation implications, which satisfy the order property, of a binary operation.
VL  - 5
IS  - 1
ER  -

Copy | Download

Author Information

Yuan Wang

College of Information Science and Technology, Yancheng Teachers University, Yancheng, People's Republic of China
Keming Tang

College of Information Science and Technology, Yancheng Teachers University, Yancheng, People's Republic of China
Zhudeng Wang

School of Mathematics and Statistics, Yancheng Teachers University, Yancheng, People's Republic of China

Download PDF

Sections

Plain Text BibTeX RIS

APA Style

Yuan Wang, Keming Tang, Zhudeng Wang. (2017). Constructions of Implications Satisfying the Order Property on a Complete Lattice. Automation, Control and Intelligent Systems, 5(1), 1-7. https://doi.org/10.11648/j.acis.20170501.11

Copy | Download

ACS Style

Yuan Wang; Keming Tang; Zhudeng Wang. Constructions of Implications Satisfying the Order Property on a Complete Lattice. Autom. Control Intell. Syst. 2017, 5(1), 1-7. doi: 10.11648/j.acis.20170501.11

Copy | Download

AMA Style

Yuan Wang, Keming Tang, Zhudeng Wang. Constructions of Implications Satisfying the Order Property on a Complete Lattice. Autom Control Intell Syst. 2017;5(1):1-7. doi: 10.11648/j.acis.20170501.11

Copy | Download

@article{10.11648/j.acis.20170501.11,
  author = {Yuan Wang and Keming Tang and Zhudeng Wang},
  title = {Constructions of Implications Satisfying the Order Property on a Complete Lattice},
  journal = {Automation, Control and Intelligent Systems},
  volume = {5},
  number = {1},
  pages = {1-7},
  doi = {10.11648/j.acis.20170501.11},
  url = {https://doi.org/10.11648/j.acis.20170501.11},
  eprint = {https://article.sciencepublishinggroup.com/pdf/10.11648.j.acis.20170501.11},
  abstract = {In this paper, we further investigate the constructions of fuzzy connectives on a complete lattice. We firstly illustrate the concepts of left (right) semi-uninorms and implications satisfying the order property by means of some examples. Then we give out the formulas for calculating the upper and lower approximation implications, which satisfy the order property, of a binary operation.},
 year = {2017}
}

Copy | Download

TY  - JOUR
T1  - Constructions of Implications Satisfying the Order Property on a Complete Lattice
AU  - Yuan Wang
AU  - Keming Tang
AU  - Zhudeng Wang
Y1  - 2017/02/23
PY  - 2017
N1  - https://doi.org/10.11648/j.acis.20170501.11
DO  - 10.11648/j.acis.20170501.11
T2  - Automation, Control and Intelligent Systems
JF  - Automation, Control and Intelligent Systems
JO  - Automation, Control and Intelligent Systems
SP  - 1
EP  - 7
PB  - Science Publishing Group
SN  - 2328-5591
UR  - https://doi.org/10.11648/j.acis.20170501.11
AB  - In this paper, we further investigate the constructions of fuzzy connectives on a complete lattice. We firstly illustrate the concepts of left (right) semi-uninorms and implications satisfying the order property by means of some examples. Then we give out the formulas for calculating the upper and lower approximation implications, which satisfy the order property, of a binary operation.
VL  - 5
IS  - 1
ER  -

Copy | Download