摘要
The concept of implicative pseudo valuations on hoops is introduced and some related properties are investigated. As an application of properties of pseudo valuations, we find the relationship between a pseudo valuation and an implicative pseudo valuation and obtain some characterizations of implicative pseudo valuations. In particular, we show that a pseudo valuation on regular hoops is implicative if and only if it satisfies φ(x■x') = 0.This result will provide a more general algebraic foundation for pseudo valuations theory on algebraic structures based on substructure logic.
The concept of implicative pseudo valuations on hoops is introduced and some related properties are investigated. As an application of properties of pseudo valuations, we find the relationship between a pseudo valuation and an implicative pseudo valuation and obtain some characterizations of implicative pseudo valuations. In particular, we show that a pseudo valuation on regular hoops is implicative if and only if it satisfies φ（x■x＇） = 0.This result will provide a more general algebraic foundation for pseudo valuations theory on algebraic structures based on substructure logic.
基金
Supported by a grant of National Natural Science Foundation of China（11571281）
