Matches in SemOpenAlex for { <https://semopenalex.org/work/W4214766616> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4214766616 endingPage "1202" @default.
- W4214766616 startingPage "1189" @default.
- W4214766616 abstract "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." @default.
- W4214766616 created "2022-03-02" @default.
- W4214766616 creator A5056063525 @default.
- W4214766616 creator A5069707964 @default.
- W4214766616 date "2022-06-01" @default.
- W4214766616 modified "2023-10-07" @default.
- W4214766616 title "State operators on pseudo EQ-algebras" @default.
- W4214766616 cites W1435444341 @default.
- W4214766616 cites W1886962284 @default.
- W4214766616 cites W1971217457 @default.
- W4214766616 cites W1974987615 @default.
- W4214766616 cites W2018148592 @default.
- W4214766616 cites W2026242842 @default.
- W4214766616 cites W2046701989 @default.
- W4214766616 cites W2047723833 @default.
- W4214766616 cites W2057500258 @default.
- W4214766616 cites W2090670604 @default.
- W4214766616 cites W2091869275 @default.
- W4214766616 cites W2342241957 @default.
- W4214766616 cites W2382296182 @default.
- W4214766616 doi "https://doi.org/10.3233/jifs-212723" @default.
- W4214766616 hasPublicationYear "2022" @default.
- W4214766616 type Work @default.
- W4214766616 citedByCount "0" @default.
- W4214766616 crossrefType "journal-article" @default.
- W4214766616 hasAuthorship W4214766616A5056063525 @default.
- W4214766616 hasAuthorship W4214766616A5069707964 @default.
- W4214766616 hasConcept C11413529 @default.
- W4214766616 hasConcept C132074034 @default.
- W4214766616 hasConcept C134306372 @default.
- W4214766616 hasConcept C136119220 @default.
- W4214766616 hasConcept C14394260 @default.
- W4214766616 hasConcept C182419690 @default.
- W4214766616 hasConcept C202444582 @default.
- W4214766616 hasConcept C207264727 @default.
- W4214766616 hasConcept C2524010 @default.
- W4214766616 hasConcept C2779729104 @default.
- W4214766616 hasConcept C33923547 @default.
- W4214766616 hasConcept C48103436 @default.
- W4214766616 hasConcept C518143113 @default.
- W4214766616 hasConcept C9376300 @default.
- W4214766616 hasConceptScore W4214766616C11413529 @default.
- W4214766616 hasConceptScore W4214766616C132074034 @default.
- W4214766616 hasConceptScore W4214766616C134306372 @default.
- W4214766616 hasConceptScore W4214766616C136119220 @default.
- W4214766616 hasConceptScore W4214766616C14394260 @default.
- W4214766616 hasConceptScore W4214766616C182419690 @default.
- W4214766616 hasConceptScore W4214766616C202444582 @default.
- W4214766616 hasConceptScore W4214766616C207264727 @default.
- W4214766616 hasConceptScore W4214766616C2524010 @default.
- W4214766616 hasConceptScore W4214766616C2779729104 @default.
- W4214766616 hasConceptScore W4214766616C33923547 @default.
- W4214766616 hasConceptScore W4214766616C48103436 @default.
- W4214766616 hasConceptScore W4214766616C518143113 @default.
- W4214766616 hasConceptScore W4214766616C9376300 @default.
- W4214766616 hasIssue "1" @default.
- W4214766616 hasLocation W42147666161 @default.
- W4214766616 hasOpenAccess W4214766616 @default.
- W4214766616 hasPrimaryLocation W42147666161 @default.
- W4214766616 hasRelatedWork W1840471793 @default.
- W4214766616 hasRelatedWork W1988021844 @default.
- W4214766616 hasRelatedWork W2093166349 @default.
- W4214766616 hasRelatedWork W2129239480 @default.
- W4214766616 hasRelatedWork W2945617276 @default.
- W4214766616 hasRelatedWork W3103536795 @default.
- W4214766616 hasRelatedWork W3182232945 @default.
- W4214766616 hasRelatedWork W4230680797 @default.
- W4214766616 hasRelatedWork W4287637897 @default.
- W4214766616 hasRelatedWork W4292712496 @default.
- W4214766616 hasVolume "43" @default.
- W4214766616 isParatext "false" @default.
- W4214766616 isRetracted "false" @default.
- W4214766616 workType "article" @default.