In the paper,we introduce some of multipliers on residuated lattices and investigate the relations among them.First,basing on the properties of multipliers,we show that the set of all multiplicative multipliers on a r...In the paper,we introduce some of multipliers on residuated lattices and investigate the relations among them.First,basing on the properties of multipliers,we show that the set of all multiplicative multipliers on a residuated lattice A forms a residuated lattice which is isomorphic to A.Second,we prove that the set of all total multipliers on A is a Boolean subalgebra of the residuated lattice(which is constituted by all multiplicative multipliers on A)and is isomorphic to the Boolean center of A.Moreover,by partial multipliers,we study the maximal residuated lattices of quotients for residuated lattices.Finally,we focus on principal implicative multipliers on residuated lattices and obtain that the set of principal implicative multipliers on A is isomorphic to the set of all multiplicative multipliers on A under the opposite(dual)order.展开更多
Residuated lattice is an important non-classical logic algebra, and L-fuzzy rough set based on residuated lattice can describe the information with incompleteness, fuzziness and uncomparativity in information systems....Residuated lattice is an important non-classical logic algebra, and L-fuzzy rough set based on residuated lattice can describe the information with incompleteness, fuzziness and uncomparativity in information systems. In this paper, the representation theorems of L-fuzzy rough sets based on residuated lattice are given. The properties and axiomatic definition of the lower and upper approximarion operators in L-fuzzy rough sets are discussed.展开更多
In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Sp...In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Springer-Verlag, New York, 1998) in the framework of fuzziness. In order to define fuzzy operations, i.e., fuzzy logic connectives, we take into account implicator → and its associated based on residuated lattice theory. Based on these basic fuzzy operations, we introduce the angelic and demonic updates of fuzzy relations. They are the basis of fuzzy predicate transformers in the sense of that any strongly monotone fuzzy predicate transformer can be represented as the sequential composition of the angelic and demonic updates. Together with the standard strong negation , we set up the duality between the angel and demon. The fuzzy predicate transformers semantics of contract statements is established and a simple example of contract statements is given.展开更多
We use a semantical method of complete residuated lattice-valued logic to give a general- ization of fuzzy topology as a partial answer to a problem by Rosser and Turquette.
基金supported by the National Natural Science Foundation of China(11531009).
文摘In the paper,we introduce some of multipliers on residuated lattices and investigate the relations among them.First,basing on the properties of multipliers,we show that the set of all multiplicative multipliers on a residuated lattice A forms a residuated lattice which is isomorphic to A.Second,we prove that the set of all total multipliers on A is a Boolean subalgebra of the residuated lattice(which is constituted by all multiplicative multipliers on A)and is isomorphic to the Boolean center of A.Moreover,by partial multipliers,we study the maximal residuated lattices of quotients for residuated lattices.Finally,we focus on principal implicative multipliers on residuated lattices and obtain that the set of principal implicative multipliers on A is isomorphic to the set of all multiplicative multipliers on A under the opposite(dual)order.
基金The National Natural Science Foundation of China (No60474022)
文摘Residuated lattice is an important non-classical logic algebra, and L-fuzzy rough set based on residuated lattice can describe the information with incompleteness, fuzziness and uncomparativity in information systems. In this paper, the representation theorems of L-fuzzy rough sets based on residuated lattice are given. The properties and axiomatic definition of the lower and upper approximarion operators in L-fuzzy rough sets are discussed.
文摘In this paper, we focus on investigation of the predicate transformer semantics of the contract language introduced by Back and von Wright in their book titled as “Refinement Calculus: A Systematic Introduction” (Springer-Verlag, New York, 1998) in the framework of fuzziness. In order to define fuzzy operations, i.e., fuzzy logic connectives, we take into account implicator → and its associated based on residuated lattice theory. Based on these basic fuzzy operations, we introduce the angelic and demonic updates of fuzzy relations. They are the basis of fuzzy predicate transformers in the sense of that any strongly monotone fuzzy predicate transformer can be represented as the sequential composition of the angelic and demonic updates. Together with the standard strong negation , we set up the duality between the angel and demon. The fuzzy predicate transformers semantics of contract statements is established and a simple example of contract statements is given.
基金supported by the National Foundation for Distionguished Young Scholars(Grant No:69725004)Rrsearch and Development Project of High-Technology(Grant No:863-306-ZT06-04-3)+1 种基金Foundation of Natural Sciences(Grant No:6982001) of ChinaFOK Ying-Tung Edu
文摘We use a semantical method of complete residuated lattice-valued logic to give a general- ization of fuzzy topology as a partial answer to a problem by Rosser and Turquette.
