Filter theory of pseudo equality algebras

Abstract

In this paper, we study the generating formula of filters in pseudo equality algebras, also we introduce prelinear pseudo equality algebras and divisible pseudo equality algebras, and then we investigate some characterizations of them. We focus on algebraic structures of the set F (X) of all filters in pseudo equality algebras and obtain that F (X) can form a Heyting algebra. Moreover, we give the notions of some types of filters ((positive) implicative filters, fantastic filters) in pseudo equality algebras and investigate their properties. Finally, we discuss the relations among these filters.

Keywords

Pseudo equality algebra prelinear pseudo equality algebra divisible pseudo equality algebra (positive) implicative filter fantastic filter strong normal filter

Get full access to this article

View all access options for this article.

References

Alavi

S.Z.

, Borzooei

R.A.

and Aaly Kologani

, Filter theory of pseudo hoop-algebras, Italian Journal of Pure and Applied Mathematics 37 (2017), 619–632.

Balbes

, Distributive lattices, University of Missouri Press, Columbia, MO, 1974.

Borzooei

R.A.

, Zarean

and Zahiri

, Involutive equality algebras, Soft Comput 22(22) (2018), 7505–7517.

Borzooei

R.A.

, Zebardast

and Aaly Kologani

, Some types of filters in equality algebras, Categories and General Algebraic Structures with Applications 7 (2017), 33–35.

Ciungu

L.C.

, Commutative pseudo-equality algebras, Soft Comput 20 (2016), 1–16.

Ciungu

L.C.

, Internal states on equality algebras, Soft Comput 19(4) (2015), 939–953.

Ciungu

L.C.

, On pseudo equality algebras, Mathematical Logic 53 (2014), 561–570.

Ciungu

L.C.

, State pseudo equality algebras, Mathematical Logic 25 (2016).

Di Nola

, Georgescu

and Iorgulescu

, Pseudo-BL algebras: Part I, Multiple-Valued Logic 8(5) (2002), 637–714.

10.

Dvurečenskij

and Zahiri

, Pseudo equality algebras-revision, Soft Comput 20(6) (2016), 2091–2101.

11.

Esteva

and Godo

, Monoidal t-norm based logic: towards a logic for left-continuous t-norms, Fuzzy Sets and Systems 124(3) (2001), 271–288.

12.

Hájek

, Metamathematics of fuzzy logic, Springer, Trends in Logic 4, 1998.

13.

Haveshki

, Borumand Saeid

and Eslami

, Some types of filters in BL-algebras, Soft Comput 10 (2006), 657–664.

14.

Jenei

, Equality algebras, Studia Logica 100(6) (2012), 1201–1209.

15.

Jenei

, Equality algebras: Proceedings of the CINTI2010 conference (11th IEEE International Symposium on Computational Intelligence and Informatics), Budapest, 2010.

16.

Jenei

and Kóródi

, Pseudo equality algebras, Mathematical Logic 52 (2013), 469–481.

17.

Novák

and De Baets

, EQ-algebras, Fuzzy Sets and Systems 160(20) (2009), 2956–2978.

18.

Zarean

, Borzooei

R.A.

and Zahiri

, On state equality algebras, Quasigroup and Related Systems 25 (2017), 307–326.

19.

Zebardast

, Borzooei

R.A.

and Kologani

M.A.

, Results on equality algebras, Information Science 381 (2017), 270–282.