FRINK Linked Data Fragments server

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

• W150515979 endingPage "210" @default.
• W150515979 startingPage "193" @default.
• W150515979 abstract "Various types of semantics games for deductive fuzzy logics, most prominently for Łukasiewicz logic, have been proposed in the literature. These games deviate from Hintikka’s original game for evaluating classical first-order formulas by either introducing an explicit reference to a truth value from the unit interval at each game state (as in [4]) or by generalizing to multisets of formulas to be considered at any state (as, e.g., in [12,9,7,10]). We explore to which extent Hintikka’s game theoretical semantics for classical logic can be generalized to a many-valued setting without sacrificing the simple structure of Hintikka’s original game. We show that rules that instantiate a certain scheme abstracted from Hintikka’s game do not lead to logics beyond the rather inexpressive, but widely applied Kleene-Zadeh logic, also known as ‘weak Łukasiewicz logic’ or even simply as ‘fuzzy logic’ [27]. To obtain stronger logics we consider propositional as well as quantifier rules that allow for random choices. We show how not only various extensions of Kleene-Zadeh logic, but also proper extensions Łukasiewicz logic arise in this manner." @default.
• W150515979 created "2016-06-24" @default.
• W150515979 creator A5048207102 @default.
• W150515979 date "2014-01-01" @default.
• W150515979 modified "2023-09-27" @default.
• W150515979 title "Hintikka-Style Semantic Games for Fuzzy Logics" @default.
• W150515979 cites W109688316 @default.
• W150515979 cites W123082070 @default.
• W150515979 cites W1522783060 @default.
• W150515979 cites W1559950633 @default.
• W150515979 cites W184934911 @default.
• W150515979 cites W1964412766 @default.
• W150515979 cites W1969692488 @default.
• W150515979 cites W1979701037 @default.
• W150515979 cites W1981508029 @default.
• W150515979 cites W1989632075 @default.
• W150515979 cites W2013431916 @default.
• W150515979 cites W2038627808 @default.
• W150515979 cites W2041873162 @default.
• W150515979 cites W2041964991 @default.
• W150515979 cites W2057066113 @default.
• W150515979 cites W2059048997 @default.
• W150515979 cites W2062692391 @default.
• W150515979 cites W2066234134 @default.
• W150515979 cites W2143075874 @default.
• W150515979 cites W2150732096 @default.
• W150515979 cites W2151327525 @default.
• W150515979 cites W2168945720 @default.
• W150515979 cites W610780676 @default.
• W150515979 doi "https://doi.org/10.1007/978-3-319-04939-7_9" @default.
• W150515979 hasPublicationYear "2014" @default.
• W150515979 type Work @default.
• W150515979 sameAs 150515979 @default.
• W150515979 citedByCount "8" @default.
• W150515979 countsByYear W1505159792014 @default.
• W150515979 countsByYear W1505159792015 @default.
• W150515979 countsByYear W1505159792016 @default.
• W150515979 countsByYear W1505159792017 @default.
• W150515979 countsByYear W1505159792018 @default.
• W150515979 countsByYear W1505159792019 @default.
• W150515979 countsByYear W1505159792020 @default.
• W150515979 countsByYear W1505159792021 @default.
• W150515979 crossrefType "book-chapter" @default.
• W150515979 hasAuthorship W150515979A5048207102 @default.
• W150515979 hasConcept C102993220 @default.
• W150515979 hasConcept C11413529 @default.
• W150515979 hasConcept C136119220 @default.
• W150515979 hasConcept C144760519 @default.
• W150515979 hasConcept C150889026 @default.
• W150515979 hasConcept C154945302 @default.
• W150515979 hasConcept C156325763 @default.
• W150515979 hasConcept C184337299 @default.
• W150515979 hasConcept C1883856 @default.
• W150515979 hasConcept C199360897 @default.
• W150515979 hasConcept C202444582 @default.
• W150515979 hasConcept C206321295 @default.
• W150515979 hasConcept C207648694 @default.
• W150515979 hasConcept C33923547 @default.
• W150515979 hasConcept C41008148 @default.
• W150515979 hasConcept C42011625 @default.
• W150515979 hasConcept C46274116 @default.
• W150515979 hasConcept C58166 @default.
• W150515979 hasConcept C80444323 @default.
• W150515979 hasConcept C86602344 @default.
• W150515979 hasConcept C9672783 @default.
• W150515979 hasConcept C98224912 @default.
• W150515979 hasConceptScore W150515979C102993220 @default.
• W150515979 hasConceptScore W150515979C11413529 @default.
• W150515979 hasConceptScore W150515979C136119220 @default.
• W150515979 hasConceptScore W150515979C144760519 @default.
• W150515979 hasConceptScore W150515979C150889026 @default.
• W150515979 hasConceptScore W150515979C154945302 @default.
• W150515979 hasConceptScore W150515979C156325763 @default.
• W150515979 hasConceptScore W150515979C184337299 @default.
• W150515979 hasConceptScore W150515979C1883856 @default.
• W150515979 hasConceptScore W150515979C199360897 @default.
• W150515979 hasConceptScore W150515979C202444582 @default.
• W150515979 hasConceptScore W150515979C206321295 @default.
• W150515979 hasConceptScore W150515979C207648694 @default.
• W150515979 hasConceptScore W150515979C33923547 @default.
• W150515979 hasConceptScore W150515979C41008148 @default.
• W150515979 hasConceptScore W150515979C42011625 @default.
• W150515979 hasConceptScore W150515979C46274116 @default.
• W150515979 hasConceptScore W150515979C58166 @default.
• W150515979 hasConceptScore W150515979C80444323 @default.
• W150515979 hasConceptScore W150515979C86602344 @default.
• W150515979 hasConceptScore W150515979C9672783 @default.
• W150515979 hasConceptScore W150515979C98224912 @default.
• W150515979 hasLocation W1505159791 @default.
• W150515979 hasOpenAccess W150515979 @default.
• W150515979 hasPrimaryLocation W1505159791 @default.
• W150515979 hasRelatedWork W119971517 @default.
• W150515979 hasRelatedWork W123082070 @default.
• W150515979 hasRelatedWork W150515979 @default.
• W150515979 hasRelatedWork W1564363854 @default.
• W150515979 hasRelatedWork W1975241902 @default.
• W150515979 hasRelatedWork W4308610738 @default.
• W150515979 hasRelatedWork W4367840777 @default.

• next