Preservation of properties of residuated algebraic structure by structures for the partial fuzzy set theory

This paper addresses the preservation of numerous essential properties of a residuated lattice structure in extended algebras for partial fuzzy set theory and partial fuzzy logics. The preservation includes the residuated lattice axioms, the identities narrowing the classes of the residuated lattices, and some well-known additional properties. In this paper, we consider nine algebras for partial fuzzy logics which incorporate handling undefined values in a bit different way. In particular, we consider the Bochvar, the Bochvar external, the Sobociński, the Kleene, the McCarthy, the Nelson, and the Łukasiewicz algebras, and two recently developed ones, namely the Lower estimation and the Dragonfly algebras. We summarize the obtained results in a comprehensible form which allows readers to easily check the information for the preserved and non-preserved properties in a certain partial algebraic structure. The resulting shape of the contribution is a sort of “atlas book” that aims at providing researchers with a comfortable and comprehensible form of an overview of the (non)preservation of fundamental properties of residuated structures.