Sage Journals: Discover world-class research

Abstract

The concept of pseudo MV-valuations is proposed in the paper, and some related characterizations of pseudo MV-valuations are investigated. The relationships between the pseudo MV-valuations of homomorphic and isomorphic MV-algebras and the relationships between their kernels are presented. We investigate several properties of pseudo MV-metrics induced by pseudo MV-valuations, and obtain that the product of two pseudo MV-metric spaces is a pseudo MV-metric space. Based on the introduced notion of pseudo continuous functions, we get that if a pseudo MV-valuation is contractive, then the binary operations on MV-algebras are pseudo continuous functions. Finally, we construct a congruence relation by using a pseudo MV-valuation, and study some properties of pseudo MV-valuations on quotient MV-algebras.

Keywords

MV-algebra pseudo MV-valuation pseudo MV-metric space pseudo continuous function

Get full access to this article

View all access options for this article.

References

Buşneag

, Hilbert algebras with valuation, Mathematica Japonica 44(2) (1996), 285–289.

Buşneag

, Valuations on residuated lattices, Annals of the University of Craiova-Mathematics and Computer Science Series 34 (2007), 21–28.

Chang

C.C.

, Algebraic analysis of many valued logics, Transactions of the American Mathematical Society 8(2) (1958), 467–490.

Chajda

and Kühr

, A non-associative generalization of Mvalgebras, Mathematica Slovaca 57(4) (2007), 301–312.

Chen

and Dudek

W.A.

, States, state operators and quasipseudo-MV algebras, Soft Computing 22(24) (2018), 8025–8040.

Chen

and Dudek

W.A.

, Ideals and congruences in quasipseudo-MV algebras, Soft Computing 22 (2018), 3879–3889.

Ciungu

L.C.

, Commutative deductive systems in probability theory on generalizations of fuzzy structures, Fuzzy Sets and Systems 363 (2019), 113–137.

Dvurecenskij

and Pulmannová

, New trends in quantum structures, Springer Science & Business Media, 2013.

Georgescu

and Iorgulescu

, Pseudo-MV algebras, Multiple Valued Logic 6 (2001), 95–135.

10.

Ghorbani

, Quotient BCI-algebras induced by pseudovaluations, Iranian Journal of Mathematical Sciences and Informatics 5(2) (2010), 13–24.

11.

Hájek

, Metamathematics of fuzzy logic, Kluwer, Dordrecht, 1998.

12.

Hoo

C.S.

, Fuzzy implicative and Boolean ideals of Mvalgebras, Fuzzy Sets and Systems 66 (1994), 315–327.

13.

Jun

Y.B.

, Ahn

S.S.

and Roh

E.H.

, BCC-algebras with pseudovaluations, Filomat 26(2) (2012), 243–252.

14.

Lele

and Nganou

J.B.

, MV-algebras derived from ideals in BL-algebras, Fuzzy Sets and Systems 218 (2013), 103–113.

15.

Mundici

, Averaging the truth-value in Łukasiewicz logic, Studia Logica 55(1) (1995), 113–127.

16.

Najafi

, Rezaei

G.R.

and Kouhestani

, On (para, quasi) topological MV-algebras, Fuzzy Sets and Systems 313 (2017), 93–104.

17.

Rutledge

J.D.

, A preliminary investigation of the infinitelymany-valued predicate calculus. Cornell University, 1959.

18.

Rachunek

, A non-commutative generalization of Mvalgebras, Czechoslovak Mathematical Journal 52(2) (2002), 255–273.

19.

Saeid

A.B.

, Flaut

and Hošková-Mayerová

, et al., Some connections between BCK-algebras and n-ary block codes, Soft Comput 22(1) (2018), 41–46.

20.

Yang

, Xin

and He

, Characterizations of MV-algebras based on the theory of falling shadows, The Scientific World Journal 2014 (2014). http://dx.doi.org/10.1155/2014/951796

21.

Yang

and Xin

, EQ-algebras with pseudo pre-valuations, Italian Journal of Pure & Applied Mathematics 37 (2017), 29–48.

22.

Zhang

X.H.

, Park

and Wu

, Soft set theoretical approach to pseudo-BCI algebras, Journal of Intelligent & Fuzzy Systems 34 (2018), 559–568.

23.

Zhan

and Jun

Y.B.

, (Implicative) pseudo-valuations on R0-algebras, University Politehnica of Bucharest Scientific Bulletin-Series A-Applied Mathematics and Physics 75(4) (2013), 101–112.

MV-algebras with pseudo MV-valuations

Abstract

Keywords

Get full access to this article

References