Matches in SemOpenAlex for { <https://semopenalex.org/work/W2980106635> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2980106635 abstract "We compare the conceptual strength of two axiomatic theories of truth: KF and WKF. The first one has been designed to capture Kripke's fixed-point construction based on Strong Kleene logic. The second one is based on the Weak Kleene evaluation schema. In the paper Relative truth definability of axiomatic truth theories, Kentaro Fujimoto proved that WKF is relatively truth-definable in KF. However, it has been an open question whether KF is relatively truth-definable in WKF. We provide the negative answer to this question, one that does not depend on the choice of language and coding. We consider this remarkable, because various important properties of Weak Kleene fixed-point construction are not absolute in this sense." @default.
- W2980106635 created "2019-10-18" @default.
- W2980106635 creator A5055661598 @default.
- W2980106635 date "2018-07-21" @default.
- W2980106635 modified "2023-09-27" @default.
- W2980106635 title "Comparing truth theories based on Weak and Strong Kleene logic" @default.
- W2980106635 cites W1040005921 @default.
- W2980106635 cites W1581341800 @default.
- W2980106635 cites W1971496477 @default.
- W2980106635 cites W2025127850 @default.
- W2980106635 cites W2113652139 @default.
- W2980106635 cites W2772650604 @default.
- W2980106635 hasPublicationYear "2018" @default.
- W2980106635 type Work @default.
- W2980106635 sameAs 2980106635 @default.
- W2980106635 citedByCount "0" @default.
- W2980106635 crossrefType "posted-content" @default.
- W2980106635 hasAuthorship W2980106635A5055661598 @default.
- W2980106635 hasConcept C118615104 @default.
- W2980106635 hasConcept C119857082 @default.
- W2980106635 hasConcept C144237770 @default.
- W2980106635 hasConcept C167729594 @default.
- W2980106635 hasConcept C199360897 @default.
- W2980106635 hasConcept C2524010 @default.
- W2980106635 hasConcept C33923547 @default.
- W2980106635 hasConcept C37754750 @default.
- W2980106635 hasConcept C41008148 @default.
- W2980106635 hasConcept C46274116 @default.
- W2980106635 hasConcept C52146309 @default.
- W2980106635 hasConcept C69562738 @default.
- W2980106635 hasConceptScore W2980106635C118615104 @default.
- W2980106635 hasConceptScore W2980106635C119857082 @default.
- W2980106635 hasConceptScore W2980106635C144237770 @default.
- W2980106635 hasConceptScore W2980106635C167729594 @default.
- W2980106635 hasConceptScore W2980106635C199360897 @default.
- W2980106635 hasConceptScore W2980106635C2524010 @default.
- W2980106635 hasConceptScore W2980106635C33923547 @default.
- W2980106635 hasConceptScore W2980106635C37754750 @default.
- W2980106635 hasConceptScore W2980106635C41008148 @default.
- W2980106635 hasConceptScore W2980106635C46274116 @default.
- W2980106635 hasConceptScore W2980106635C52146309 @default.
- W2980106635 hasConceptScore W2980106635C69562738 @default.
- W2980106635 hasLocation W29801066351 @default.
- W2980106635 hasOpenAccess W2980106635 @default.
- W2980106635 hasPrimaryLocation W29801066351 @default.
- W2980106635 hasRelatedWork W1470911434 @default.
- W2980106635 hasRelatedWork W2029977552 @default.
- W2980106635 hasRelatedWork W2073850897 @default.
- W2980106635 hasRelatedWork W2161264011 @default.
- W2980106635 hasRelatedWork W2286819012 @default.
- W2980106635 hasRelatedWork W2460545934 @default.
- W2980106635 hasRelatedWork W2614458588 @default.
- W2980106635 hasRelatedWork W2773346421 @default.
- W2980106635 hasRelatedWork W2810542517 @default.
- W2980106635 hasRelatedWork W2947798545 @default.
- W2980106635 hasRelatedWork W3044697194 @default.
- W2980106635 hasRelatedWork W3053396053 @default.
- W2980106635 hasRelatedWork W3102402518 @default.
- W2980106635 hasRelatedWork W3117619566 @default.
- W2980106635 hasRelatedWork W3131825882 @default.
- W2980106635 hasRelatedWork W3151780069 @default.
- W2980106635 hasRelatedWork W3172146251 @default.
- W2980106635 hasRelatedWork W39695227 @default.
- W2980106635 hasRelatedWork W52032815 @default.
- W2980106635 hasRelatedWork W2464217860 @default.
- W2980106635 isParatext "false" @default.
- W2980106635 isRetracted "false" @default.
- W2980106635 magId "2980106635" @default.
- W2980106635 workType "article" @default.