Matches in SemOpenAlex for { <https://semopenalex.org/work/W2068342173> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2068342173 endingPage "2073" @default.
- W2068342173 startingPage "2058" @default.
- W2068342173 abstract "The present paper carries out a deep analysis on the inconsistency of theories by means of deduction theorems, completeness theorems and satisfiability degrees of formulas, and introduces the concept of the degree of entailment of a contradiction from a theory in classical two-valued logic system, Łukasiewicz fuzzy logic system, Gödel fuzzy logic system, product fuzzy logic system and the R0-fuzzy logic system. It is proved that in classical two-valued logic system, Łukasiewicz fuzzy logic system and the R0-fuzzy logic system, respectively, the concept of consistency degrees of theories defined by the divergence degrees of theories in [X.N. Zhou, G.J. Wang, Consistency degrees of theories in some systems of propositional fuzzy logic, Fuzzy Sets and Systems 152 (2005) 321–331; H.J. Zhou, G.J. Wang, A new theory index based on deduction theorems in several logic systems, Fuzzy Sets and Systems 157(2006) 427–443] is reasonable and can accurately measure the consistency degrees of theories. The concept of the degree of entailment of a contradiction from a theory is generalized by replacing the contradiction with a general formula and then the generalized consistency degrees of theories w.r.t. general formulas in the above-mentioned logic systems is established." @default.
- W2068342173 created "2016-06-24" @default.
- W2068342173 creator A5034528379 @default.
- W2068342173 creator A5043347603 @default.
- W2068342173 date "2006-08-01" @default.
- W2068342173 modified "2023-09-25" @default.
- W2068342173 title "Generalized consistency degrees of theories w.r.t. formulas in several standard complete logic systems" @default.
- W2068342173 cites W1532122496 @default.
- W2068342173 cites W1566552629 @default.
- W2068342173 cites W1951431556 @default.
- W2068342173 cites W1983382657 @default.
- W2068342173 cites W1997196510 @default.
- W2068342173 cites W2015603806 @default.
- W2068342173 cites W2020188392 @default.
- W2068342173 cites W2031659660 @default.
- W2068342173 cites W2034468068 @default.
- W2068342173 cites W2035359036 @default.
- W2068342173 cites W2043639987 @default.
- W2068342173 cites W2110182592 @default.
- W2068342173 cites W2238824626 @default.
- W2068342173 cites W2348808354 @default.
- W2068342173 cites W2098756487 @default.
- W2068342173 doi "https://doi.org/10.1016/j.fss.2006.02.007" @default.
- W2068342173 hasPublicationYear "2006" @default.
- W2068342173 type Work @default.
- W2068342173 sameAs 2068342173 @default.
- W2068342173 citedByCount "17" @default.
- W2068342173 countsByYear W20683421732013 @default.
- W2068342173 countsByYear W20683421732014 @default.
- W2068342173 countsByYear W20683421732015 @default.
- W2068342173 countsByYear W20683421732016 @default.
- W2068342173 crossrefType "journal-article" @default.
- W2068342173 hasAuthorship W2068342173A5034528379 @default.
- W2068342173 hasAuthorship W2068342173A5043347603 @default.
- W2068342173 hasConcept C102993220 @default.
- W2068342173 hasConcept C118615104 @default.
- W2068342173 hasConcept C136119220 @default.
- W2068342173 hasConcept C150889026 @default.
- W2068342173 hasConcept C154945302 @default.
- W2068342173 hasConcept C1883856 @default.
- W2068342173 hasConcept C199343813 @default.
- W2068342173 hasConcept C202444582 @default.
- W2068342173 hasConcept C2776436953 @default.
- W2068342173 hasConcept C2777686260 @default.
- W2068342173 hasConcept C33923547 @default.
- W2068342173 hasConcept C41008148 @default.
- W2068342173 hasConcept C42011625 @default.
- W2068342173 hasConcept C58166 @default.
- W2068342173 hasConcept C71924100 @default.
- W2068342173 hasConceptScore W2068342173C102993220 @default.
- W2068342173 hasConceptScore W2068342173C118615104 @default.
- W2068342173 hasConceptScore W2068342173C136119220 @default.
- W2068342173 hasConceptScore W2068342173C150889026 @default.
- W2068342173 hasConceptScore W2068342173C154945302 @default.
- W2068342173 hasConceptScore W2068342173C1883856 @default.
- W2068342173 hasConceptScore W2068342173C199343813 @default.
- W2068342173 hasConceptScore W2068342173C202444582 @default.
- W2068342173 hasConceptScore W2068342173C2776436953 @default.
- W2068342173 hasConceptScore W2068342173C2777686260 @default.
- W2068342173 hasConceptScore W2068342173C33923547 @default.
- W2068342173 hasConceptScore W2068342173C41008148 @default.
- W2068342173 hasConceptScore W2068342173C42011625 @default.
- W2068342173 hasConceptScore W2068342173C58166 @default.
- W2068342173 hasConceptScore W2068342173C71924100 @default.
- W2068342173 hasIssue "15" @default.
- W2068342173 hasLocation W20683421731 @default.
- W2068342173 hasOpenAccess W2068342173 @default.
- W2068342173 hasPrimaryLocation W20683421731 @default.
- W2068342173 hasRelatedWork W2015378899 @default.
- W2068342173 hasRelatedWork W2077365449 @default.
- W2068342173 hasRelatedWork W2105992111 @default.
- W2068342173 hasRelatedWork W2157259770 @default.
- W2068342173 hasRelatedWork W2166647414 @default.
- W2068342173 hasRelatedWork W2233206163 @default.
- W2068342173 hasRelatedWork W2610578195 @default.
- W2068342173 hasRelatedWork W2935778182 @default.
- W2068342173 hasRelatedWork W3027584623 @default.
- W2068342173 hasRelatedWork W3041528574 @default.
- W2068342173 hasVolume "157" @default.
- W2068342173 isParatext "false" @default.
- W2068342173 isRetracted "false" @default.
- W2068342173 magId "2068342173" @default.
- W2068342173 workType "article" @default.