Importation Algebras

  • Vikash Kumar GuptaEmail author
  • Balasubramaniam Jayaram
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 981)


In recent years, many works have appeared that propose order from basic fuzzy logic connectives. However, all of them assume the connectives to possess some kind of monotonicity, which succinctly implies that the underlying set is already endowed with an order. In this work, given a set \(\mathbb {P} \ne \emptyset \), we define an algebra based on an implicative-type function I without assuming any order-theoretic properties, either on \(\mathbb {P}\) or I. Terming it the importation algebra, since the law of importation becomes one of the main axioms in this algebra, we show that such algebras can impose an order on the underlying set \(\mathbb {P}\). We show that in the case \(\mathbb {P} = [0,1]\) we can obtain new order-theoretic structures on it even when I is not a fuzzy implication and that one can recover the usual order on [0, 1] even from fuzzy implications that do not have the classical ordering property. Finally, we show a similar approach can lead us to obtaining order from conjunctive type connectives too.


Ordered sets Law of importation Importation algebra Fuzzy implications 


  1. 1.
    Abbott, J.: Semi-boolean algebra. Mat. Vesn. N. Ser. 4, 177–198 (1967)MathSciNetzbMATHGoogle Scholar
  2. 2.
    Aşıcı, E.: An order induced by nullnorms and its properties. Fuzzy Sets Syst. 325, 35–46 (2017)MathSciNetCrossRefGoogle Scholar
  3. 3.
    Baczyński, M., Jayaram, B.: An introduction to fuzzy implications. In: Fuzzy Implications, pp. 1–35. Springer (2008)Google Scholar
  4. 4.
    Ertuğrul, Ü., Kesicioğlu, M.N., Karacal, F.: Ordering based on uninorms. Inf. Sci. 330, 315–327 (2016)CrossRefGoogle Scholar
  5. 5.
    Karaçal, F., Kesicioğlu, M.N.: A t-partial order obtained from t-norms. Kybernetika 47(2), 300–314 (2011)MathSciNetzbMATHGoogle Scholar
  6. 6.
    Kesicioğlu, M.N., Mesiar, R.: Ordering based on implications. Inf. Sci. 276, 377–386 (2014)MathSciNetCrossRefGoogle Scholar
  7. 7.
    Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms, Trends in Logic, vol. 8. Kluwer Academic Publishers, Dordrecht (2000)CrossRefGoogle Scholar
  8. 8.
    Martínez, N.G.: A topological duality for some lattice ordered algebraic structures including \(l\)-groups. Algebra Universalis 31(4), 516–541 (1994)Google Scholar
  9. 9.
    Martínez, N.G.: A simplified duality for implicative lattices and \(l\)-groups. Studia Logica 56(1/2), 185–204 (1996)Google Scholar
  10. 10.
    Nemitz, W.: Implicative semi-lattices. Trans. Am. Math. Soc. 117, 128–142 (1965)MathSciNetCrossRefGoogle Scholar
  11. 11.
    Pei, D.: A survey of fuzzy implication algebras and their axiomatization. Int. J. Approx. Reason. 55(8), 1643–1658 (2014)MathSciNetCrossRefGoogle Scholar
  12. 12.
    Rasiowa, H., Sikorski, R.: The Mathematics of Metamathematics. Institut Mathematyczny, Polskiej Akademii Nauk: Monographie Mathematyczne. PWN-Polish Scientific Publishers (1970)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  1. 1.Department of MathematicsIndian Institute of Technology HyderabadSangareddyIndia

Personalised recommendations