FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2000005930> ?p ?o ?g. }

• W2000005930 endingPage "410" @default.
• W2000005930 startingPage "396" @default.
• W2000005930 abstract "Zadeh's Fuzzy Logic was introduced as a mathematical tool for deduction working with different degrees of truth, instead of the two truth degrees of Classical Logic. The next step taken by Pavelka was to admit assumptions and theorems which are also satisfied only to some truth degree, as well as deduction rules transferring these degrees to the deduced formulas. In the semantics these possibly, but not necessarily, correspond to the degrees of satisfaction of formulas. A significant consequent progress towards this direction was achieved by Hajek's work on Rational Pavelka Logic; it forms formulas with graded truth as couples of a formula and a rational truth value. The success of the Rational Pavelka Logic follows from the properties of the standard MV-algebra, i.e. the real unit interval [0,1] with the Łukasiewicz operations, which was used as its semantical interpretation. The main mathematical result is that the Rational Pavelka Logic is sound and complete in the sense that the syntactical provability degree and the semantical degree of satisfaction coincide. In this paper an alternative to Pavelka's approach is investigated. Instead of the standard MV-algebra, the truth values are taken from a perfect MV-algebra, in particular, Chang's MV-algebra. This is the opposite extreme among MV-algebras, it admits only infinitesimals besides the two classical truth degrees. We argue that such an example also has a motivation in deduction imitating human reasoning. As Chang's MV-algebra is not complete, the provability degree need not exist. Nevertheless, as the main result the following weak completeness theorem is proved: If the provability degree of a formula exists, it coincides with the degree of satisfaction. This result is obtained by adding to Pavelka's original approach a new rule of inference, Hájek's book-keeping axioms and an axiom valid in Chang's MV-algebra. An example that clarifies the differences between Classical Logic, Rational Pavelka Logic and Perfect Pavelka Logic is given, and some new fuzzy rules of inference are introduced." @default.
• W2000005930 created "2016-06-24" @default.
• W2000005930 creator A5039202082 @default.
• W2000005930 creator A5045895774 @default.
• W2000005930 date "2016-06-01" @default.
• W2000005930 modified "2023-10-08" @default.
• W2000005930 title "Perfect Pavelka Logic" @default.
• W2000005930 cites W1566552629 @default.
• W2000005930 cites W1577270377 @default.
• W2000005930 cites W1966321785 @default.
• W2000005930 cites W1978955535 @default.
• W2000005930 cites W2004739217 @default.
• W2000005930 cites W2009190427 @default.
• W2000005930 cites W2012072427 @default.
• W2000005930 cites W2018418081 @default.
• W2000005930 cites W2019261690 @default.
• W2000005930 cites W2040277462 @default.
• W2000005930 cites W2062320451 @default.
• W2000005930 cites W2072191370 @default.
• W2000005930 cites W2092180595 @default.
• W2000005930 cites W2103135708 @default.
• W2000005930 cites W2110182592 @default.
• W2000005930 cites W2123127290 @default.
• W2000005930 cites W2141313404 @default.
• W2000005930 cites W2145524968 @default.
• W2000005930 cites W2312744322 @default.
• W2000005930 cites W2399851456 @default.
• W2000005930 cites W270056808 @default.
• W2000005930 doi "https://doi.org/10.1016/j.fss.2014.06.011" @default.
• W2000005930 hasPublicationYear "2016" @default.
• W2000005930 type Work @default.
• W2000005930 sameAs 2000005930 @default.
• W2000005930 citedByCount "4" @default.
• W2000005930 countsByYear W20000059302015 @default.
• W2000005930 countsByYear W20000059302016 @default.
• W2000005930 countsByYear W20000059302017 @default.
• W2000005930 crossrefType "journal-article" @default.
• W2000005930 hasAuthorship W2000005930A5039202082 @default.
• W2000005930 hasAuthorship W2000005930A5045895774 @default.
• W2000005930 hasConcept C118615104 @default.
• W2000005930 hasConcept C121332964 @default.
• W2000005930 hasConcept C136119220 @default.
• W2000005930 hasConcept C178421362 @default.
• W2000005930 hasConcept C199343813 @default.
• W2000005930 hasConcept C199360897 @default.
• W2000005930 hasConcept C202444582 @default.
• W2000005930 hasConcept C24890656 @default.
• W2000005930 hasConcept C2775997480 @default.
• W2000005930 hasConcept C2777686260 @default.
• W2000005930 hasConcept C33923547 @default.
• W2000005930 hasConcept C37754750 @default.
• W2000005930 hasConcept C41008148 @default.
• W2000005930 hasConcept C46274116 @default.
• W2000005930 hasConcept C69562738 @default.
• W2000005930 hasConcept C71924100 @default.
• W2000005930 hasConceptScore W2000005930C118615104 @default.
• W2000005930 hasConceptScore W2000005930C121332964 @default.
• W2000005930 hasConceptScore W2000005930C136119220 @default.
• W2000005930 hasConceptScore W2000005930C178421362 @default.
• W2000005930 hasConceptScore W2000005930C199343813 @default.
• W2000005930 hasConceptScore W2000005930C199360897 @default.
• W2000005930 hasConceptScore W2000005930C202444582 @default.
• W2000005930 hasConceptScore W2000005930C24890656 @default.
• W2000005930 hasConceptScore W2000005930C2775997480 @default.
• W2000005930 hasConceptScore W2000005930C2777686260 @default.
• W2000005930 hasConceptScore W2000005930C33923547 @default.
• W2000005930 hasConceptScore W2000005930C37754750 @default.
• W2000005930 hasConceptScore W2000005930C41008148 @default.
• W2000005930 hasConceptScore W2000005930C46274116 @default.
• W2000005930 hasConceptScore W2000005930C69562738 @default.
• W2000005930 hasConceptScore W2000005930C71924100 @default.
• W2000005930 hasFunder F4320309972 @default.
• W2000005930 hasLocation W20000059301 @default.
• W2000005930 hasOpenAccess W2000005930 @default.
• W2000005930 hasPrimaryLocation W20000059301 @default.
• W2000005930 hasRelatedWork W2020097426 @default.
• W2000005930 hasRelatedWork W2045432969 @default.
• W2000005930 hasRelatedWork W2071835455 @default.
• W2000005930 hasRelatedWork W2085628186 @default.
• W2000005930 hasRelatedWork W2348444528 @default.
• W2000005930 hasRelatedWork W2354148259 @default.
• W2000005930 hasRelatedWork W2356894535 @default.
• W2000005930 hasRelatedWork W2379158246 @default.
• W2000005930 hasRelatedWork W2515628554 @default.
• W2000005930 hasRelatedWork W2516402362 @default.
• W2000005930 hasVolume "292" @default.
• W2000005930 isParatext "false" @default.
• W2000005930 isRetracted "false" @default.
• W2000005930 magId "2000005930" @default.
• W2000005930 workType "article" @default.