Matches in SemOpenAlex for { <https://semopenalex.org/work/W1998751018> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1998751018 endingPage "365" @default.
- W1998751018 startingPage "351" @default.
- W1998751018 abstract "The concept of fuzzy equality and its related contents to the first order predicate calculus are discussed. It is proved that, in the viewpoint of computational logic, resolution and paramodulation mechanisms are complete and sound for fuzzy logic with equality. Term rewriting system, that is the set of left to right directional equations, provides an essential computational paradigm for word problems in universal algebra. We embody the fuzzy equality to the theory of this computation system and give an algorithmic solution to the word problems in fuzzy algebra." @default.
- W1998751018 created "2016-06-24" @default.
- W1998751018 creator A5026079930 @default.
- W1998751018 creator A5076505588 @default.
- W1998751018 date "1988-06-01" @default.
- W1998751018 modified "2023-09-23" @default.
- W1998751018 title "FUZZY LOGIC WITH EQUALITY" @default.
- W1998751018 doi "https://doi.org/10.1142/s0218001488000212" @default.
- W1998751018 hasPublicationYear "1988" @default.
- W1998751018 type Work @default.
- W1998751018 sameAs 1998751018 @default.
- W1998751018 citedByCount "6" @default.
- W1998751018 crossrefType "journal-article" @default.
- W1998751018 hasAuthorship W1998751018A5026079930 @default.
- W1998751018 hasAuthorship W1998751018A5076505588 @default.
- W1998751018 hasConcept C100481476 @default.
- W1998751018 hasConcept C102993220 @default.
- W1998751018 hasConcept C11413529 @default.
- W1998751018 hasConcept C118615104 @default.
- W1998751018 hasConcept C136119220 @default.
- W1998751018 hasConcept C138268822 @default.
- W1998751018 hasConcept C148671577 @default.
- W1998751018 hasConcept C154690210 @default.
- W1998751018 hasConcept C154945302 @default.
- W1998751018 hasConcept C1883856 @default.
- W1998751018 hasConcept C188971069 @default.
- W1998751018 hasConcept C19689857 @default.
- W1998751018 hasConcept C199360897 @default.
- W1998751018 hasConcept C202444582 @default.
- W1998751018 hasConcept C33923547 @default.
- W1998751018 hasConcept C41008148 @default.
- W1998751018 hasConcept C42011625 @default.
- W1998751018 hasConcept C58166 @default.
- W1998751018 hasConcept C80444323 @default.
- W1998751018 hasConceptScore W1998751018C100481476 @default.
- W1998751018 hasConceptScore W1998751018C102993220 @default.
- W1998751018 hasConceptScore W1998751018C11413529 @default.
- W1998751018 hasConceptScore W1998751018C118615104 @default.
- W1998751018 hasConceptScore W1998751018C136119220 @default.
- W1998751018 hasConceptScore W1998751018C138268822 @default.
- W1998751018 hasConceptScore W1998751018C148671577 @default.
- W1998751018 hasConceptScore W1998751018C154690210 @default.
- W1998751018 hasConceptScore W1998751018C154945302 @default.
- W1998751018 hasConceptScore W1998751018C1883856 @default.
- W1998751018 hasConceptScore W1998751018C188971069 @default.
- W1998751018 hasConceptScore W1998751018C19689857 @default.
- W1998751018 hasConceptScore W1998751018C199360897 @default.
- W1998751018 hasConceptScore W1998751018C202444582 @default.
- W1998751018 hasConceptScore W1998751018C33923547 @default.
- W1998751018 hasConceptScore W1998751018C41008148 @default.
- W1998751018 hasConceptScore W1998751018C42011625 @default.
- W1998751018 hasConceptScore W1998751018C58166 @default.
- W1998751018 hasConceptScore W1998751018C80444323 @default.
- W1998751018 hasIssue "02" @default.
- W1998751018 hasLocation W19987510181 @default.
- W1998751018 hasOpenAccess W1998751018 @default.
- W1998751018 hasPrimaryLocation W19987510181 @default.
- W1998751018 hasRelatedWork W164048504 @default.
- W1998751018 hasRelatedWork W1998751018 @default.
- W1998751018 hasRelatedWork W2059762196 @default.
- W1998751018 hasRelatedWork W2061828243 @default.
- W1998751018 hasRelatedWork W2063980661 @default.
- W1998751018 hasRelatedWork W2134826631 @default.
- W1998751018 hasRelatedWork W2160831542 @default.
- W1998751018 hasRelatedWork W2188895751 @default.
- W1998751018 hasRelatedWork W2287021682 @default.
- W1998751018 hasRelatedWork W74364172 @default.
- W1998751018 hasVolume "02" @default.
- W1998751018 isParatext "false" @default.
- W1998751018 isRetracted "false" @default.
- W1998751018 magId "1998751018" @default.
- W1998751018 workType "article" @default.