Importation Algebras

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.