Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952610483> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2952610483 abstract "In the framework of propositional {L}ukasiewicz logic, a suitable notion of implicit definability, tailored to the intended real-valued semantics and referring to the elements of its domain, is introduced. Several variants of implicitly defining each of the rational elements in the standard semantics are explored, and based on that, a faithful interpretation of theories in Rational Pavelka logic in theories in {L}ukasiewicz logic is obtained. Some of these results were already presented in H'ajek's Metamathematics of Fuzzy Logic as technical statements. A connection to the lack of (deductive) Beth property in {L}ukasiewicz logic is drawn. Moreover, while irrational elements of the standard semantics are not implicitly definable by finitary means, a parallel development is possible for them in the infinitary {L}ukasiewicz logic. As an application of definability of the rationals, it is shown how computational complexity results for Rational Pavelka logic can be obtained from analogous results for {L}ukasiewicz logic. The complexity of the definability notion itself is studied as well. Finally, we review the import of these results for the precision/vagueness discussion for fuzzy logic, and for the general standing of truth constants in {L}ukasiewicz logic." @default.
- W2952610483 created "2019-06-27" @default.
- W2952610483 creator A5034961719 @default.
- W2952610483 date "2018-02-23" @default.
- W2952610483 modified "2023-09-24" @default.
- W2952610483 title "Implicit definability of truth constants in {L}ukasiewicz logic" @default.
- W2952610483 cites W1595540099 @default.
- W2952610483 cites W1978452764 @default.
- W2952610483 cites W1985712767 @default.
- W2952610483 cites W2024415469 @default.
- W2952610483 cites W2042769582 @default.
- W2952610483 cites W2054281703 @default.
- W2952610483 cites W2069644928 @default.
- W2952610483 cites W2092180595 @default.
- W2952610483 hasPublicationYear "2018" @default.
- W2952610483 type Work @default.
- W2952610483 sameAs 2952610483 @default.
- W2952610483 citedByCount "0" @default.
- W2952610483 crossrefType "posted-content" @default.
- W2952610483 hasAuthorship W2952610483A5034961719 @default.
- W2952610483 hasConcept C102993220 @default.
- W2952610483 hasConcept C108568745 @default.
- W2952610483 hasConcept C118615104 @default.
- W2952610483 hasConcept C121332964 @default.
- W2952610483 hasConcept C136119220 @default.
- W2952610483 hasConcept C144760519 @default.
- W2952610483 hasConcept C150889026 @default.
- W2952610483 hasConcept C154945302 @default.
- W2952610483 hasConcept C161445131 @default.
- W2952610483 hasConcept C16796852 @default.
- W2952610483 hasConcept C169896238 @default.
- W2952610483 hasConcept C178421362 @default.
- W2952610483 hasConcept C19689857 @default.
- W2952610483 hasConcept C199360897 @default.
- W2952610483 hasConcept C202444582 @default.
- W2952610483 hasConcept C206321295 @default.
- W2952610483 hasConcept C23409769 @default.
- W2952610483 hasConcept C33203268 @default.
- W2952610483 hasConcept C33923547 @default.
- W2952610483 hasConcept C41008148 @default.
- W2952610483 hasConcept C46274116 @default.
- W2952610483 hasConcept C62520636 @default.
- W2952610483 hasConcept C69562738 @default.
- W2952610483 hasConcept C84114770 @default.
- W2952610483 hasConceptScore W2952610483C102993220 @default.
- W2952610483 hasConceptScore W2952610483C108568745 @default.
- W2952610483 hasConceptScore W2952610483C118615104 @default.
- W2952610483 hasConceptScore W2952610483C121332964 @default.
- W2952610483 hasConceptScore W2952610483C136119220 @default.
- W2952610483 hasConceptScore W2952610483C144760519 @default.
- W2952610483 hasConceptScore W2952610483C150889026 @default.
- W2952610483 hasConceptScore W2952610483C154945302 @default.
- W2952610483 hasConceptScore W2952610483C161445131 @default.
- W2952610483 hasConceptScore W2952610483C16796852 @default.
- W2952610483 hasConceptScore W2952610483C169896238 @default.
- W2952610483 hasConceptScore W2952610483C178421362 @default.
- W2952610483 hasConceptScore W2952610483C19689857 @default.
- W2952610483 hasConceptScore W2952610483C199360897 @default.
- W2952610483 hasConceptScore W2952610483C202444582 @default.
- W2952610483 hasConceptScore W2952610483C206321295 @default.
- W2952610483 hasConceptScore W2952610483C23409769 @default.
- W2952610483 hasConceptScore W2952610483C33203268 @default.
- W2952610483 hasConceptScore W2952610483C33923547 @default.
- W2952610483 hasConceptScore W2952610483C41008148 @default.
- W2952610483 hasConceptScore W2952610483C46274116 @default.
- W2952610483 hasConceptScore W2952610483C62520636 @default.
- W2952610483 hasConceptScore W2952610483C69562738 @default.
- W2952610483 hasConceptScore W2952610483C84114770 @default.
- W2952610483 hasLocation W29526104831 @default.
- W2952610483 hasOpenAccess W2952610483 @default.
- W2952610483 hasPrimaryLocation W29526104831 @default.
- W2952610483 hasRelatedWork W1455676725 @default.
- W2952610483 hasRelatedWork W1597691074 @default.
- W2952610483 hasRelatedWork W1760954332 @default.
- W2952610483 hasRelatedWork W1804030118 @default.
- W2952610483 hasRelatedWork W1967037961 @default.
- W2952610483 hasRelatedWork W1973472163 @default.
- W2952610483 hasRelatedWork W1975223030 @default.
- W2952610483 hasRelatedWork W2029847850 @default.
- W2952610483 hasRelatedWork W2070877511 @default.
- W2952610483 hasRelatedWork W2109796672 @default.
- W2952610483 hasRelatedWork W2144751108 @default.
- W2952610483 hasRelatedWork W2167626756 @default.
- W2952610483 hasRelatedWork W2182414126 @default.
- W2952610483 hasRelatedWork W2556155522 @default.
- W2952610483 hasRelatedWork W2593401383 @default.
- W2952610483 hasRelatedWork W2788276321 @default.
- W2952610483 hasRelatedWork W2839780276 @default.
- W2952610483 hasRelatedWork W3016207443 @default.
- W2952610483 hasRelatedWork W3117619566 @default.
- W2952610483 hasRelatedWork W77555893 @default.
- W2952610483 isParatext "false" @default.
- W2952610483 isRetracted "false" @default.
- W2952610483 magId "2952610483" @default.
- W2952610483 workType "article" @default.