{"entities":{"Q1035647":{"pageid":1037495,"ns":120,"title":"Item:Q1035647","lastrevid":66597156,"modified":"2026-04-12T11:11:44Z","type":"item","id":"Q1035647","labels":{"en":{"language":"en","value":"Note on witnessed G\u00f6del logics with Delta"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5624901"}},"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":"Q1035647$23F13718-E7F8-4D3C-8C68-E8A5A9B60DC7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6ed99cea6fdf245b06d1517ed93cec8249723dde","datavalue":{"value":{"text":"Note on witnessed G\u00f6del logics with Delta","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1035647$F5FF32E8-35B4-4A13-8813-C19A818A3D11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"957b810982a60bc2b5839a8eabbeb0a262d622f5","datavalue":{"value":"1183.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035647$F1E617DA-29B5-4FD7-9F70-676DDFDCCC8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$A8D2D54A-D5D3-4832-9CDA-B57FBB2EF014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e70599dd55680c57b05f97305d54fb5714d0630","datavalue":{"value":{"entity-type":"item","numeric-id":1035646,"id":"Q1035646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$F2604122-E0C9-43EB-91BF-DFB2ED48FFC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$61F4784E-0E97-4442-AF30-750C0C99BFE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef2b4a391107c8565fc25ba0caa09f7f59741046","datavalue":{"value":{"time":"+2009-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1035647$88C2ACE4-5DA3-4F9B-ADA5-5E2E5B6B9458","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4198c25e5522f1a6b470085e4ecc83769ff4ad62","datavalue":{"value":"The paper deals with witnessed G\u00f6del logics with or without the \\(\\Delta\\)-operator (recall that \\(\\Delta(x) = 1\\) if \\(x = 1\\), \\(\\Delta(x) = 0\\) otherwise, for each \\(x \\in [0,1]\\)). Witnessed G\u00f6del logics are based on the interpretation of the universal (resp. existential) quantifier by minimum (resp. maximum) instead of infimum (resp. supremum). The main results of the paper are:  -- An axiomatization of witnessed G\u00f6del logic (with or without \\(\\Delta\\)) over \\([0,1]\\), and the fact that each uncountable subset of the truth-values set \\([0,1]\\) determines the same witnessed G\u00f6del logic.   -- For each truth-value set \\(V \\subseteq [0,1]\\) a translation from the witnessed G\u00f6del logic with \\(\\Delta\\) over \\(V\\) to the witnessed G\u00f6del logic (without \\(\\Delta\\)) over \\(V\\).  -- The fact that the sets of all G\u00f6del logics, witnessed G\u00f6del logics, G\u00f6del logics with \\(\\Delta\\), witnessed G\u00f6del logics with \\(\\Delta\\) contain countably many elements.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035647$6D99B9B0-1131-4191-869D-1BF3802E2568","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c9d8398a1ca729172ff10438ecb041a167d56eac","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$51BB6CED-F25C-4786-91E5-10E8584F8ACD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035647$D887F2EE-D465-4746-8CBD-ADFC00C67C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25e5a5f23d3e2e2c05864da16eda493011c33276","datavalue":{"value":"03C80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035647$4B37C907-CD9D-41D2-A248-F3682D326862","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"078bce4667663cc9fd8ca0deae064293f0164089","datavalue":{"value":"5624901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035647$D11EB623-79A1-4C52-9EDF-21978360683B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb1a1f25e847b244c568cc40973694e51b1ad3da","datavalue":{"value":"G\u00f6del logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035647$69B2B28B-D262-4F9F-BED5-418574DD3648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"193cb280fac767260ff655f9ea96473111491cf7","datavalue":{"value":"disentangled fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035647$DF5313C7-DBAA-40B8-8CA4-172CD9D19FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"030f397120c6e338a3f1c5cdcbb207c5491c8abe","datavalue":{"value":"witnessed interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035647$77E6ABFE-5871-453E-A2E8-D39433AA60CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25934b97f87e8c922bf6010d126ea3b3acd3bc1a","datavalue":{"value":"relative completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1035647$38276947-27E2-475B-B9C3-AD708DD9F8FB","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":"Q1035647$90A1D612-0116-4BDD-8755-FEF7C93D3772","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5a1f213bc2d406d1eaeb56bb00545f0bc613c15","datavalue":{"value":"https://doi.org/10.1016/j.apal.2009.05.011","type":"string"},"datatype":"url"},"type":"statement","id":"Q1035647$DE672714-E167-4788-B057-EA01A0654E1E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cdad04e79beb4bdeaa9aff4e6334eee273adaadb","datavalue":{"value":"W1975789524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035647$71B91889-4E7B-4C5C-9A47-13EBB1565A93","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7bc15f249726e286830d3ad1d34138fb5e2e3d4","datavalue":{"value":{"entity-type":"item","numeric-id":4893133,"id":"Q4893133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$4A94B504-1D84-44A5-8D0B-82938D7EB52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c518c18f44c81af14e64f37602ee04f933d21cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3498458,"id":"Q3498458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$8EBC1836-9244-45AE-9010-E7B0C22B0F16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a8e7aa3826057e8a68a04faafb879ca50e3653","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$368BBFB8-37DF-4138-83F5-AEF5CBADA014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b542c3daf2ebc6c2cfa771ac36c3ecb1e039b00","datavalue":{"value":{"entity-type":"item","numeric-id":1013988,"id":"Q1013988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$AB5BA9C1-F507-4DA8-95F2-E201CC7EEF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd1edcb888e96f446a1331c09f2a0c09105dbc83","datavalue":{"value":{"entity-type":"item","numeric-id":3426561,"id":"Q3426561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$F46D3BA3-797D-4DC6-B948-AB339CF0FD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be0f7c81004227114f5bee606cc547dbf0099bc","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$53C02264-D69B-44EF-B47B-A96E33F16914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7895067d93807ed12c82cf34a5a83b73c813d58","datavalue":{"value":{"entity-type":"item","numeric-id":1099155,"id":"Q1099155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$DF146BF5-EBDC-4F70-B3CB-2A6D639258A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60bab06c6efc101c2c178c21ed15568782da3276","datavalue":{"value":{"entity-type":"item","numeric-id":3693510,"id":"Q3693510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$CC9F709D-0EB5-4024-9EF5-542DDCB047E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b087729373f3bbfc0d4b7f81d7796accb714a353","datavalue":{"value":{"entity-type":"item","numeric-id":3722491,"id":"Q3722491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$93FE55E4-CADB-4A02-B99A-8494477E18E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b77365c940f3116df6cabed9e3e7edc330d8743f","datavalue":{"value":{"entity-type":"item","numeric-id":4358052,"id":"Q4358052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1035647$D9B82BC2-1CA4-405F-B8E3-EC94BE079153","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"192c51ea08484fe31b6b507c5dc8c62273e40da5","datavalue":{"value":"10.1016/J.APAL.2009.05.011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1035647$54A91CFC-41DC-49F2-B585-9E3FD49C253B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fee1539d97979c25c52634052686ac601fa5b6a","datavalue":{"value":{"entity-type":"item","numeric-id":3552393,"id":"Q3552393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ba5cd5fbdf95e058642f4371d1506a421740e5f","datavalue":{"value":{"amount":"+0.8151013255119324","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":"Q1035647$7A7CDC15-389C-4765-B9B4-CD682065DA6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd2301c01e5e9f3d307e1b6269fd84d28f55e4c7","datavalue":{"value":{"entity-type":"item","numeric-id":2804319,"id":"Q2804319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81a7f4c47c5cdbb211dbb2f98bc565b322df6ab1","datavalue":{"value":{"amount":"+0.7944543361663818","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":"Q1035647$19CBF78C-E0CB-4B43-9B28-065C46E8E192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"412f3b6cddef730dc4ebc4d23d96b8bda753925b","datavalue":{"value":{"entity-type":"item","numeric-id":1616771,"id":"Q1616771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7701b11e58beb0bfdd623c34a9d2fd439813d2a","datavalue":{"value":{"amount":"+0.7688695192337036","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":"Q1035647$C43CF326-960B-495D-9BF4-439CBE965478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"540533a3e6d257d2d2fc4eb7f6ee7bcf88787d1c","datavalue":{"value":{"entity-type":"item","numeric-id":3423151,"id":"Q3423151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d9eeb710969c1db5d15ea7d7f02d38e7ecbeca","datavalue":{"value":{"amount":"+0.7465881705284119","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":"Q1035647$88B02425-27E1-4E89-B2CD-2C4A41EFD6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaea4c2e4113058e9c8d59ff28c9413b118e7b43","datavalue":{"value":{"entity-type":"item","numeric-id":1759702,"id":"Q1759702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc900e3e5c7827faf4903d4a0027edc4fcb1fa57","datavalue":{"value":{"amount":"+0.7426316738128662","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":"Q1035647$63D3AC63-E413-41B7-8E89-00D61FBF9CE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Note on witnessed G\u00f6del logics with Delta","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Note_on_witnessed_G%C3%B6del_logics_with_Delta"}}}}}