Advertisement

# Importation Algebras

Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 981)

## Abstract

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.

## Keywords

Ordered sets Law of importation Importation algebra Fuzzy implications

## References

1. 1.
Abbott, J.: Semi-boolean algebra. Mat. Vesn. N. Ser. 4, 177–198 (1967)
2. 2.
Aşıcı, E.: An order induced by nullnorms and its properties. Fuzzy Sets Syst. 325, 35–46 (2017)
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)
5. 5.
Karaçal, F., Kesicioğlu, M.N.: A t-partial order obtained from t-norms. Kybernetika 47(2), 300–314 (2011)
6. 6.
Kesicioğlu, M.N., Mesiar, R.: Ordering based on implications. Inf. Sci. 276, 377–386 (2014)
7. 7.
Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms, Trends in Logic, vol. 8. Kluwer Academic Publishers, Dordrecht (2000)
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)
11. 11.
Pei, D.: A survey of fuzzy implication algebras and their axiomatization. Int. J. Approx. Reason. 55(8), 1643–1658 (2014)
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