Regular Partial Residuated Lattices and Their Filters

To express wider uncertainty, Behounek and Dankova studied fuzzy partial logic and partial function. At the same time, Borzooei generalized t-norms and put forward the concept of partial t-norms when studying lattice valued quantum effect algebras. Based on partial t-norms, Zhang et al. studied partial residuated implications (PRIs) and proposed the concept of partial residuated lattices (PRLs). In this paper, we mainly study the related algebraic structure of fuzzy partial logic. First, we provide the definitions of regular partial t-norms and regular partial residuated implication (rPRI) through the general forms of partial t-norms and partial residuated implication. Second, we define regular partial residuated lattices (rPRLs) and study their corresponding properties. Third, we study the relations among commutative quasi-residuated lattices, commutative Q-residuated lattices, partial residuated lattices, and regular partial residuated lattices. Last, in order to obtain the filter theory of regular partial residuated lattices, we restrict certain conditions and then propose special regular partial residuated lattices (srPRLs) in order to finally construct the quotient structure of regular partial residuated lattices.

Automated summary

This paper mainly studies the algebraic structure of fuzzy partial logic, including regular partial t-norms, regular partial residuated implications, and regular partial residuated lattices, etc. The relations among them are also investigated, and special regular partial residuated lattices are proposed for constructing the quotient structure of regular partial residuated lattices.