Matches in SemOpenAlex for { <https://semopenalex.org/work/W4322709710> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4322709710 endingPage "312" @default.
- W4322709710 startingPage "305" @default.
- W4322709710 abstract "Let LZ be Zadeh’s fuzzy propositional logic determined by the norm min{x, y} with implication φ → ψ considered as the shorthand ~ φ ∨ ψ. A simple estimate for a formula φ has he forms φ ≥ a, φ > a, φ ≤ a and φ < a where φ is a formula of the logic LZ. An composite estimate is a propositional combination of simple estimates. We call the logic of estimates LE the set of all estimates (simple and composite) with their natural semantics determined by fuzzy interpretations for LZ. For the logic LE, some sound and complete inference system, based on the use of analytic tableaux, is presented." @default.
- W4322709710 created "2023-03-02" @default.
- W4322709710 creator A5015599613 @default.
- W4322709710 creator A5057328014 @default.
- W4322709710 date "2023-01-01" @default.
- W4322709710 modified "2023-09-29" @default.
- W4322709710 title "Tableaux Deduction System for Fuzzy Logic with Estimates of Fuzziness Values" @default.
- W4322709710 cites W1491838227 @default.
- W4322709710 cites W1534639321 @default.
- W4322709710 cites W1554618854 @default.
- W4322709710 cites W4253647193 @default.
- W4322709710 cites W4298236051 @default.
- W4322709710 doi "https://doi.org/10.1007/978-3-031-25252-5_42" @default.
- W4322709710 hasPublicationYear "2023" @default.
- W4322709710 type Work @default.
- W4322709710 citedByCount "0" @default.
- W4322709710 crossrefType "book-chapter" @default.
- W4322709710 hasAuthorship W4322709710A5015599613 @default.
- W4322709710 hasAuthorship W4322709710A5057328014 @default.
- W4322709710 hasConcept C102993220 @default.
- W4322709710 hasConcept C110039528 @default.
- W4322709710 hasConcept C111472728 @default.
- W4322709710 hasConcept C11413529 @default.
- W4322709710 hasConcept C118615104 @default.
- W4322709710 hasConcept C136119220 @default.
- W4322709710 hasConcept C138885662 @default.
- W4322709710 hasConcept C14523651 @default.
- W4322709710 hasConcept C154945302 @default.
- W4322709710 hasConcept C199343813 @default.
- W4322709710 hasConcept C202444582 @default.
- W4322709710 hasConcept C203659156 @default.
- W4322709710 hasConcept C2777686260 @default.
- W4322709710 hasConcept C2780586882 @default.
- W4322709710 hasConcept C33203268 @default.
- W4322709710 hasConcept C33923547 @default.
- W4322709710 hasConcept C3746660 @default.
- W4322709710 hasConcept C41008148 @default.
- W4322709710 hasConcept C58166 @default.
- W4322709710 hasConcept C69562738 @default.
- W4322709710 hasConcept C71924100 @default.
- W4322709710 hasConcept C94375191 @default.
- W4322709710 hasConceptScore W4322709710C102993220 @default.
- W4322709710 hasConceptScore W4322709710C110039528 @default.
- W4322709710 hasConceptScore W4322709710C111472728 @default.
- W4322709710 hasConceptScore W4322709710C11413529 @default.
- W4322709710 hasConceptScore W4322709710C118615104 @default.
- W4322709710 hasConceptScore W4322709710C136119220 @default.
- W4322709710 hasConceptScore W4322709710C138885662 @default.
- W4322709710 hasConceptScore W4322709710C14523651 @default.
- W4322709710 hasConceptScore W4322709710C154945302 @default.
- W4322709710 hasConceptScore W4322709710C199343813 @default.
- W4322709710 hasConceptScore W4322709710C202444582 @default.
- W4322709710 hasConceptScore W4322709710C203659156 @default.
- W4322709710 hasConceptScore W4322709710C2777686260 @default.
- W4322709710 hasConceptScore W4322709710C2780586882 @default.
- W4322709710 hasConceptScore W4322709710C33203268 @default.
- W4322709710 hasConceptScore W4322709710C33923547 @default.
- W4322709710 hasConceptScore W4322709710C3746660 @default.
- W4322709710 hasConceptScore W4322709710C41008148 @default.
- W4322709710 hasConceptScore W4322709710C58166 @default.
- W4322709710 hasConceptScore W4322709710C69562738 @default.
- W4322709710 hasConceptScore W4322709710C71924100 @default.
- W4322709710 hasConceptScore W4322709710C94375191 @default.
- W4322709710 hasLocation W43227097101 @default.
- W4322709710 hasOpenAccess W4322709710 @default.
- W4322709710 hasPrimaryLocation W43227097101 @default.
- W4322709710 hasRelatedWork W1987118140 @default.
- W4322709710 hasRelatedWork W2015640848 @default.
- W4322709710 hasRelatedWork W2042169304 @default.
- W4322709710 hasRelatedWork W2045432969 @default.
- W4322709710 hasRelatedWork W2072960761 @default.
- W4322709710 hasRelatedWork W2140514306 @default.
- W4322709710 hasRelatedWork W2502080888 @default.
- W4322709710 hasRelatedWork W2760927084 @default.
- W4322709710 hasRelatedWork W2898752753 @default.
- W4322709710 hasRelatedWork W4248927194 @default.
- W4322709710 isParatext "false" @default.
- W4322709710 isRetracted "false" @default.
- W4322709710 workType "book-chapter" @default.