{"entities":{"Q795819":{"pageid":797667,"ns":120,"title":"Item:Q795819","lastrevid":64398885,"modified":"2026-04-11T19:36:26Z","type":"item","id":"Q795819","labels":{"en":{"language":"en","value":"A fixed point theorem for the weak Kleene valuation scheme"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3863165"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795819$7A3D97B1-48F4-429A-9B29-29701A164F52","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"880d12c8bba1e3495ca89b290ab4c8314dbf5ce6","datavalue":{"value":{"text":"A fixed point theorem for the weak Kleene valuation scheme","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q795819$815198A7-C4C1-4D40-9A8F-39862A74F1BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"562c54b8923c471efbb64b4c29acce7ab89f67da","datavalue":{"value":"0543.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795819$69C33CA7-8726-4012-A9D3-C43D783D9E1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77cca5cd04f986dfa7c8a9043656b6f574acc68e","datavalue":{"value":"10.1007/BF00453018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795819$5C1F0A49-CF0F-4B02-94F2-0662B2A60E4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8d4603c3147d2cc2988f8c5d515198b9c7cae6e","datavalue":{"value":{"entity-type":"item","numeric-id":795818,"id":"Q795818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795819$6F8E6B79-AD50-44A2-B121-91103A6E080F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda2c3cad4b182b0023b31360d1fbdc263150fa1","datavalue":{"value":{"entity-type":"item","numeric-id":1820282,"id":"Q1820282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795819$FAF73637-BA43-41E3-95C2-06B840475759","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795819$F455B624-EEBE-4FCC-8AEC-4986B189532F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q795819$D0D15978-40A0-4612-B017-C0DE4A3E0985","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc0d87dda956c59dcd2015d8265fd2a82e924db3","datavalue":{"value":"Tarski's theorem shows that no language with a classical interpretation can contain its own truth predicate. \\textit{S. Kripke} [''Outline of a theory of truth'', J. Philos. 72, 690-716 (1975)] and others, have shown that if its interpretation allows for truth-value gaps, a language may contain a predicate whose extension is exactly the set of sentences true in the interpretation. This paper shows that if, in addition, the interpretation is a weak Kleene interpretation (distinguished, essentially, by the condition that a formula is truth-valueless in an interpretation iff some variant interpretation makes a sub-formula truth- valueless) then the language may also contain a predicate whose extension is exactly the set of sentences that are neither true nor false. However, even for such interpretations there will be important notions not, in general, definable in the language. For example, if there were a formula of one free variable, \\(\\phi\\) (x), whose extension is exactly the complement of the set of true sentences, then, given sufficient diagonalising machinery, we could construct a sentence \\(\\phi\\) (a), denoted by ''a''. The usual liar-paradox contradiction would then be forthcoming.","type":"string"},"datatype":"string"},"type":"statement","id":"Q795819$622FF905-A730-4910-BAC6-EEF609B268E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5a8775a791b699bfd3cf73592d2f327da9f87e5a","datavalue":{"value":{"entity-type":"item","numeric-id":452355,"id":"Q452355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795819$37CFDDC8-95AD-472D-AE8A-5F41A240A383","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795819$86E4A403-F46E-4B65-A2A0-8DB4D636CC36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795819$AC9933AF-DCD8-4B96-A1B4-89FCB0BEA93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e4acb947bbb93aef022d2652e8dc30ed364d53d7","datavalue":{"value":"03C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795819$358CE612-DCE9-4B57-B1AD-A3A83D7A80C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13fa73bc21e449dfabca1caf1638369cd6005504","datavalue":{"value":"3863165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795819$AAB437BE-35B5-405B-AFC1-B3C312B80CED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q795819$5F5A85F0-33E4-4651-B783-32F0F411EE0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5245dd9eb3255611a23b1a3010f6d2adcff0e2a9","datavalue":{"value":"truth predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q795819$D69BF62A-9A0D-4A5C-848F-3549B6B2F4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08c04d75c878bbf8500dd83407319fa6cacf5096","datavalue":{"value":"truth-value gaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q795819$9E34E294-23A7-45AB-A4DB-E70E1321F52E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89f460888a8ea216246eb81baca6f9a4d1bed640","datavalue":{"value":"weak Kleene interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q795819$5E9D6432-D996-412D-B73A-0CCDC3EEEF87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4deec94d4414a97268a4c5b028f8c4d25cb6e92b","datavalue":{"value":"liar-paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q795819$E7C2954F-B5A2-4BD9-AA7C-18BE4D6A7D2E","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795819$45BA9394-1E04-419D-9502-8381C1A06FAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6ec4e6ba1cc79ebcb9630c584a97bcee529ec1","datavalue":{"value":{"entity-type":"item","numeric-id":3309807,"id":"Q3309807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795819$63B1232E-DFA0-4D5B-9E84-0DA896B1F257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d883907c1b9faaee90794cecd283314576399aa6","datavalue":{"value":{"entity-type":"item","numeric-id":1839240,"id":"Q1839240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795819$0A81BC57-ABC5-4079-BFEB-73032C8E8C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"505934f239764a448f53660aee28756b7b008a6e","datavalue":{"value":{"entity-type":"item","numeric-id":4523164,"id":"Q4523164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795819$CEF31545-71F4-4A6D-B6F5-5091F58A2BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94284ee8fcbd451899be71423e8f6c3441e429cf","datavalue":{"value":{"entity-type":"item","numeric-id":3760496,"id":"Q3760496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q795819$2C679362-D954-4EED-B681-A421A650113A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3ef17dd041379080118204909ceee836d3f6fa1","datavalue":{"value":"https://doi.org/10.1007/bf00453018","type":"string"},"datatype":"url"},"type":"statement","id":"Q795819$F7E1509A-2377-4A11-A5BB-AAE5401BD075","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1ed803fca41d5ca7e06600e80503468691e54e15","datavalue":{"value":"W1979831570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q795819$A7D6B445-86B9-4EC4-9553-7F41184928F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"104c6eabe82c022b4866a45d595e0a932f6e6151","datavalue":{"value":{"entity-type":"item","numeric-id":3984417,"id":"Q3984417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d77ac3c2e2da65d6c43284502a96e2c4c86dd2f4","datavalue":{"value":{"amount":"+0.8374018669128418","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795819$3218BFDB-21CC-44A6-B25C-6455E0DEFE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99283fe94900dcc3f9f11723e0b7b82f344083a6","datavalue":{"value":{"entity-type":"item","numeric-id":4314690,"id":"Q4314690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"203296ce3c3bef2cf7cf681727c4d3ce969421c6","datavalue":{"value":{"amount":"+0.8305656909942627","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795819$B8995608-69C0-4232-9C4B-D271D714880F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbb151e4f20fa9317607fea9159ee6d7d50b4d44","datavalue":{"value":{"entity-type":"item","numeric-id":4933591,"id":"Q4933591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"183b2c176f6bef6d0c41281df9b3d0fe6153d981","datavalue":{"value":{"amount":"+0.7697470784187317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795819$E87A6BA0-8111-4414-9730-C22B40A7AE19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b560325fc1250244f789e08105d2464a53f56927","datavalue":{"value":{"entity-type":"item","numeric-id":1069920,"id":"Q1069920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c054160fd81f5efc8e061488594e0410c61c734","datavalue":{"value":{"amount":"+0.759720504283905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795819$A6343988-1D80-4D33-8F12-4C5FC86159CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13fe6ee2b1ce2f33767a93cbe3adbd2fd8fc78ce","datavalue":{"value":{"entity-type":"item","numeric-id":1084389,"id":"Q1084389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d850dcb07b9309827dd6a671c87b2fbf4e4d2029","datavalue":{"value":{"amount":"+0.7571921348571777","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q795819$644BABB9-D0D9-4843-AFA8-BF8C557F3282","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A fixed point theorem for the weak Kleene valuation scheme","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_fixed_point_theorem_for_the_weak_Kleene_valuation_scheme"}}}}}