Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912142129> ?p ?o ?g. }
- W2912142129 endingPage "2978" @default.
- W2912142129 startingPage "2956" @default.
- W2912142129 abstract "We introduce a new class of algebras called EQ-algebras. An EQ-algebra has three basic binary operations (meet, multiplication and a fuzzy equality) and a top element. These algebras are intended to become algebras of truth values for a higher-order fuzzy logic (a fuzzy type theory, FTT). The motivation stems from the fact that until now, the truth values in FTT were assumed to form either an IMTL-, BL-, or MV-algebra, all of them being special kinds of residuated lattices in which the basic operations are the monoidal operation (multiplication) and its residuum. The latter is a natural interpretation of implication in fuzzy logic; the equivalence is then interpreted by the biresiduum, a derived operation. The basic connective in FTT, however, is a fuzzy equality and, therefore, it is not natural to interpret it by a derived operation. This defect is expected to be removed by the class of EQ-algebras introduced and studied in this paper. From the algebraic point of view, the class of EQ-algebras generalizes, in a certain sense, the class of residuated lattices and so, they may become an interesting class of algebraic structures as such." @default.
- W2912142129 created "2019-02-21" @default.
- W2912142129 creator A5014127586 @default.
- W2912142129 creator A5039200228 @default.
- W2912142129 date "2009-10-01" @default.
- W2912142129 modified "2023-10-16" @default.
- W2912142129 title "EQ-algebras" @default.
- W2912142129 cites W16267316 @default.
- W2912142129 cites W1966321785 @default.
- W2912142129 cites W1976537120 @default.
- W2912142129 cites W1980375851 @default.
- W2912142129 cites W1983382657 @default.
- W2912142129 cites W1997230328 @default.
- W2912142129 cites W2000594950 @default.
- W2912142129 cites W2018899807 @default.
- W2912142129 cites W2030259157 @default.
- W2912142129 cites W2041006875 @default.
- W2912142129 cites W2062755128 @default.
- W2912142129 cites W2065267682 @default.
- W2912142129 cites W2071552463 @default.
- W2912142129 cites W2082431610 @default.
- W2912142129 cites W2090670604 @default.
- W2912142129 cites W2092180595 @default.
- W2912142129 cites W2145067810 @default.
- W2912142129 cites W2314211203 @default.
- W2912142129 cites W4296611970 @default.
- W2912142129 cites W914834656 @default.
- W2912142129 doi "https://doi.org/10.1016/j.fss.2009.04.010" @default.
- W2912142129 hasPublicationYear "2009" @default.
- W2912142129 type Work @default.
- W2912142129 sameAs 2912142129 @default.
- W2912142129 citedByCount "81" @default.
- W2912142129 countsByYear W29121421292012 @default.
- W2912142129 countsByYear W29121421292013 @default.
- W2912142129 countsByYear W29121421292014 @default.
- W2912142129 countsByYear W29121421292015 @default.
- W2912142129 countsByYear W29121421292016 @default.
- W2912142129 countsByYear W29121421292017 @default.
- W2912142129 countsByYear W29121421292018 @default.
- W2912142129 countsByYear W29121421292019 @default.
- W2912142129 countsByYear W29121421292020 @default.
- W2912142129 countsByYear W29121421292021 @default.
- W2912142129 countsByYear W29121421292022 @default.
- W2912142129 countsByYear W29121421292023 @default.
- W2912142129 crossrefType "journal-article" @default.
- W2912142129 hasAuthorship W2912142129A5014127586 @default.
- W2912142129 hasAuthorship W2912142129A5039200228 @default.
- W2912142129 hasConcept C114614502 @default.
- W2912142129 hasConcept C115740575 @default.
- W2912142129 hasConcept C118615104 @default.
- W2912142129 hasConcept C134306372 @default.
- W2912142129 hasConcept C136003732 @default.
- W2912142129 hasConcept C136119220 @default.
- W2912142129 hasConcept C154945302 @default.
- W2912142129 hasConcept C185529760 @default.
- W2912142129 hasConcept C1883856 @default.
- W2912142129 hasConcept C202444582 @default.
- W2912142129 hasConcept C2777212361 @default.
- W2912142129 hasConcept C2780595030 @default.
- W2912142129 hasConcept C2781278839 @default.
- W2912142129 hasConcept C33923547 @default.
- W2912142129 hasConcept C41008148 @default.
- W2912142129 hasConcept C42011625 @default.
- W2912142129 hasConcept C58166 @default.
- W2912142129 hasConcept C9376300 @default.
- W2912142129 hasConcept C98224912 @default.
- W2912142129 hasConceptScore W2912142129C114614502 @default.
- W2912142129 hasConceptScore W2912142129C115740575 @default.
- W2912142129 hasConceptScore W2912142129C118615104 @default.
- W2912142129 hasConceptScore W2912142129C134306372 @default.
- W2912142129 hasConceptScore W2912142129C136003732 @default.
- W2912142129 hasConceptScore W2912142129C136119220 @default.
- W2912142129 hasConceptScore W2912142129C154945302 @default.
- W2912142129 hasConceptScore W2912142129C185529760 @default.
- W2912142129 hasConceptScore W2912142129C1883856 @default.
- W2912142129 hasConceptScore W2912142129C202444582 @default.
- W2912142129 hasConceptScore W2912142129C2777212361 @default.
- W2912142129 hasConceptScore W2912142129C2780595030 @default.
- W2912142129 hasConceptScore W2912142129C2781278839 @default.
- W2912142129 hasConceptScore W2912142129C33923547 @default.
- W2912142129 hasConceptScore W2912142129C41008148 @default.
- W2912142129 hasConceptScore W2912142129C42011625 @default.
- W2912142129 hasConceptScore W2912142129C58166 @default.
- W2912142129 hasConceptScore W2912142129C9376300 @default.
- W2912142129 hasConceptScore W2912142129C98224912 @default.
- W2912142129 hasIssue "20" @default.
- W2912142129 hasLocation W29121421291 @default.
- W2912142129 hasOpenAccess W2912142129 @default.
- W2912142129 hasPrimaryLocation W29121421291 @default.
- W2912142129 hasRelatedWork W1482535653 @default.
- W2912142129 hasRelatedWork W1504266122 @default.
- W2912142129 hasRelatedWork W169137922 @default.
- W2912142129 hasRelatedWork W1847849058 @default.
- W2912142129 hasRelatedWork W2059762196 @default.
- W2912142129 hasRelatedWork W2460134115 @default.
- W2912142129 hasRelatedWork W2507225639 @default.
- W2912142129 hasRelatedWork W2915391825 @default.
- W2912142129 hasRelatedWork W3011517819 @default.