EQ-ALGEBRAS WITH PSEUDO PRE-VALUATIONS
Keywords:
EQ-algebra, pseudo pre-valuation, pseudo-metric space, (positive) implicative pseudo pre-valuationAbstract
The concepts of (positive implicative, implicative) pseudo pre-valuations and strong pseudo pre-valuations are introduced and some related characterizations are studied. The relationships among positive implicative pseudo pre-valuations, implicative pseudo pre-valuations and pseudo pre-valuations are investigated, and conditions for a real-valued function to be a pseudo pre-valuation are also discussed. By using a congruence relation induced via a pseudo valuation, we construct a quotient structure and prove certain isomorphism theorems.
Downloads
Published
How to Cite
Issue
Section
License
Copyright (c) 2017 Yongwei Yang, Xiaolong Xin

This work is licensed under a Creative Commons Attribution 4.0 International License.
L'opera è pubblicata sotto Licenza Creative Commons Attribuzione 4.0 Internazionale (CC-BY)

