Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914754927> ?p ?o ?g. }
- W2914754927 endingPage "247" @default.
- W2914754927 startingPage "226" @default.
- W2914754927 abstract "In this paper, we introduce the concept of the degree of the truth in the framework of so called many-valued propositional logic systems with the intention of measuring to what extent a given formula is true. Such a concept can indeed induce, in a very natural way, the degree of the similarity as well as to induce a pseudo-metric among formulas as the ‘graded’ version of the notion of the logical equivalence. The basic properties of such induced logic metric space hence are investigated in this paper. We further introduce different concepts of the degree of the divergence and the degree of the consistency in order to grade the extent of the consistency of a logic theory. To the end, all the basic logic notions are graded. Lastly, we propose in this paper three patterns of ‘approximate reasoning’ so far as the many-valued propositional logic systems are concerned. Hence, we can claim that we have laid the foundation for the “quantitative logic”. Since this theory has touched upon several key concepts of similarity, comparison, measurements, etc. in information theory, we are convinced that the theory may have profound impact in contemporary information technology. In addition, quantitative logic can be regarded as a highly representative example of mathematics of uncertainty capable of handling vagueness." @default.
- W2914754927 created "2019-02-21" @default.
- W2914754927 creator A5034528379 @default.
- W2914754927 creator A5043347603 @default.
- W2914754927 date "2009-01-16" @default.
- W2914754927 modified "2023-09-25" @default.
- W2914754927 title "Quantitative logic☆" @default.
- W2914754927 cites W1487349793 @default.
- W2914754927 cites W1532122496 @default.
- W2914754927 cites W1535673504 @default.
- W2914754927 cites W1951431556 @default.
- W2914754927 cites W1982974791 @default.
- W2914754927 cites W1999500055 @default.
- W2914754927 cites W2014816111 @default.
- W2914754927 cites W2015603806 @default.
- W2914754927 cites W2024244056 @default.
- W2914754927 cites W2027860250 @default.
- W2914754927 cites W2031659660 @default.
- W2914754927 cites W2034468068 @default.
- W2914754927 cites W2035359036 @default.
- W2914754927 cites W2036610495 @default.
- W2914754927 cites W2037612482 @default.
- W2914754927 cites W2041280856 @default.
- W2914754927 cites W2053860555 @default.
- W2914754927 cites W2068342173 @default.
- W2914754927 cites W2110182592 @default.
- W2914754927 cites W2166550958 @default.
- W2914754927 cites W2497449838 @default.
- W2914754927 cites W3148090786 @default.
- W2914754927 cites W2098756487 @default.
- W2914754927 doi "https://doi.org/10.1016/j.ins.2008.09.008" @default.
- W2914754927 hasPublicationYear "2009" @default.
- W2914754927 type Work @default.
- W2914754927 sameAs 2914754927 @default.
- W2914754927 citedByCount "63" @default.
- W2914754927 countsByYear W29147549272012 @default.
- W2914754927 countsByYear W29147549272013 @default.
- W2914754927 countsByYear W29147549272014 @default.
- W2914754927 countsByYear W29147549272015 @default.
- W2914754927 countsByYear W29147549272016 @default.
- W2914754927 countsByYear W29147549272018 @default.
- W2914754927 countsByYear W29147549272019 @default.
- W2914754927 countsByYear W29147549272020 @default.
- W2914754927 countsByYear W29147549272021 @default.
- W2914754927 crossrefType "journal-article" @default.
- W2914754927 hasAuthorship W2914754927A5034528379 @default.
- W2914754927 hasAuthorship W2914754927A5043347603 @default.
- W2914754927 hasConcept C102993220 @default.
- W2914754927 hasConcept C118615104 @default.
- W2914754927 hasConcept C121332964 @default.
- W2914754927 hasConcept C136119220 @default.
- W2914754927 hasConcept C150889026 @default.
- W2914754927 hasConcept C154945302 @default.
- W2914754927 hasConcept C162324750 @default.
- W2914754927 hasConcept C165801399 @default.
- W2914754927 hasConcept C172385210 @default.
- W2914754927 hasConcept C176217482 @default.
- W2914754927 hasConcept C194989596 @default.
- W2914754927 hasConcept C202444582 @default.
- W2914754927 hasConcept C21547014 @default.
- W2914754927 hasConcept C2776436953 @default.
- W2914754927 hasConcept C2776825360 @default.
- W2914754927 hasConcept C2777796570 @default.
- W2914754927 hasConcept C2780069185 @default.
- W2914754927 hasConcept C33203268 @default.
- W2914754927 hasConcept C33923547 @default.
- W2914754927 hasConcept C41008148 @default.
- W2914754927 hasConcept C58166 @default.
- W2914754927 hasConcept C62520636 @default.
- W2914754927 hasConcept C69562738 @default.
- W2914754927 hasConcept C80444323 @default.
- W2914754927 hasConceptScore W2914754927C102993220 @default.
- W2914754927 hasConceptScore W2914754927C118615104 @default.
- W2914754927 hasConceptScore W2914754927C121332964 @default.
- W2914754927 hasConceptScore W2914754927C136119220 @default.
- W2914754927 hasConceptScore W2914754927C150889026 @default.
- W2914754927 hasConceptScore W2914754927C154945302 @default.
- W2914754927 hasConceptScore W2914754927C162324750 @default.
- W2914754927 hasConceptScore W2914754927C165801399 @default.
- W2914754927 hasConceptScore W2914754927C172385210 @default.
- W2914754927 hasConceptScore W2914754927C176217482 @default.
- W2914754927 hasConceptScore W2914754927C194989596 @default.
- W2914754927 hasConceptScore W2914754927C202444582 @default.
- W2914754927 hasConceptScore W2914754927C21547014 @default.
- W2914754927 hasConceptScore W2914754927C2776436953 @default.
- W2914754927 hasConceptScore W2914754927C2776825360 @default.
- W2914754927 hasConceptScore W2914754927C2777796570 @default.
- W2914754927 hasConceptScore W2914754927C2780069185 @default.
- W2914754927 hasConceptScore W2914754927C33203268 @default.
- W2914754927 hasConceptScore W2914754927C33923547 @default.
- W2914754927 hasConceptScore W2914754927C41008148 @default.
- W2914754927 hasConceptScore W2914754927C58166 @default.
- W2914754927 hasConceptScore W2914754927C62520636 @default.
- W2914754927 hasConceptScore W2914754927C69562738 @default.
- W2914754927 hasConceptScore W2914754927C80444323 @default.
- W2914754927 hasIssue "3" @default.
- W2914754927 hasLocation W29147549271 @default.
- W2914754927 hasOpenAccess W2914754927 @default.