State operators on pseudo EQ-algebras

Pseudo EQ-algebras were introduced by X.L. Xin as possible algebraic semantics for fuzzy type theory. The main goal of this paper is to investigate pseudo EQ-algebras with internal states. To begin with, we introduce the notion of pseudo EQ-algebras with internal state(simplify, ISPEQ-algebra) and s...

Full description

Saved in:
Bibliographic Details
Published in:Journal of intelligent & fuzzy systems 2022, Vol.43 (1), p.1189-1202
Main Authors: Guo, Qing, Xin, Xiao Long
Format: Article
Language:English
Subjects:
Algebra
Operators (mathematics)
Prefilters
Semantics
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Pseudo EQ-algebras were introduced by X.L. Xin as possible algebraic semantics for fuzzy type theory. The main goal of this paper is to investigate pseudo EQ-algebras with internal states. To begin with, we introduce the notion of pseudo EQ-algebras with internal state(simplify, ISPEQ-algebra) and study its properties. Moreover, we discuss the relation between ISPEQ-algebras and states on pseudo EQ-algebras. In the following, we study state filters(simplify S-fliters) and state prefilters(simplify S-prefliters) of ISPEQ-algebras. We construct ISPEQ-algebras from S-fliters and derive congruence relation θ of ISPEQ-algebras. In the end, we give the generating formula of prefilters on residuated pseudo EQ-algebras and based on that we get the generating formula of S-prefilters on residuated pseudo EQ-algebras.
ISSN:1064-1246
1875-8967
DOI:10.3233/JIFS-212723