Involutive filters of pseudo-hoops

被引:4
作者
Ciungu, Lavinia Corina [1 ]
机构
[1] Univ Iowa, Dept Math, 14 MacLean Hall, Iowa City, IA 52242 USA
关键词
Pseudo-hoop; Wa[!text type='js']js[!/text]berg pseudo-hoop; Archimedean pseudo-hoop; Involutive filter; Fantastic filter; State operator; State-morphism operator; BCK ALGEBRAS; STATE OPERATORS; DECOMPOSITION;
D O I
10.1007/s00500-019-03793-y
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper, we introduce the notion of involutive filters of pseudo-hoops, and we emphasize their role in the probability theory on these structures. Characterizations of involutive pseudo-hoops are given, and their properties are investigated. We give a characterization of involutive filters of a good pseudo-hoop, and we prove that in the case of good pseudo-hoops, the sets of fantastic and involutive filters are equal. One of the main results consists of proving that a normal filter F of a bounded pseudo-hoop A is involutive if and only if A / F is an involutive pseudo-hoop. It is also proved that any implicative filter of a bounded pseudo-hoop is involutive and that any Boolean filter of a bounded Wajsberg pseudo-hoop is involutive. The notions of state operators and state-morphism operators on pseudo-hoops are introduced, and the relationship between these operators is investigated. For a bounded Wajsberg pseudo-hoop, we prove that the kernel of any state operator is an involutive filter.
引用
收藏
页码:9459 / 9476
页数:18
相关论文
共 42 条
[1]  
Alavi SZ, 2017, ITAL J PURE APPL MAT, P619
[2]   On the structure of hoops [J].
Blok, WJ ;
Ferreirim, IMA .
ALGEBRA UNIVERSALIS, 2000, 43 (2-3) :233-257
[3]   State BCK-algebras and state-morphism BCK-algebras [J].
Borzooei, R. A. ;
Dvurecenskij, A. ;
Zahiri, O. .
FUZZY SETS AND SYSTEMS, 2014, 244 :86-105
[4]   STATE HOOPS [J].
Borzooei, Rajab Ali ;
Kologani, Mona Aaly ;
Zahiri, Omid .
MATHEMATICA SLOVACA, 2017, 67 (01) :1-16
[5]  
Bosbach, 1969, FUND MATH, V64, P257, DOI DOI 10.4064/FM-64-3-257-287
[6]  
Bosbach B., 1970, FUND MATH, V69, P1, DOI DOI 10.4064/FM-69-1-1-14
[7]  
Ciungu L. C., 2014, Non-Commutative Multi-Valued Logic Algebra
[8]   Commutative deductive systems of pseudo-BCK-algebras [J].
Ciungu, Lavinia Corina .
SOFT COMPUTING, 2018, 22 (04) :1189-1201
[9]   ON STATE PSEUDO-HOOPS [J].
Ciungu, Lavinia Corina .
MATHEMATICA SLOVACA, 2017, 67 (02) :271-284
[10]   Bounded pseudo-hoops with internal states [J].
Ciungu, Lavinia Corina .
MATHEMATICA SLOVACA, 2013, 63 (05) :903-934