{"entities":{"Q1378735":{"pageid":1389475,"ns":120,"title":"Item:Q1378735","lastrevid":68585859,"modified":"2026-04-13T00:44:50Z","type":"item","id":"Q1378735","labels":{"en":{"language":"en","value":"Probability-like functionals and fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1115579"}},"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":"Q1378735$2800C7FB-926C-4C2B-97E5-924FDC6CF95B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e37502ce724377d2b152efdcfee1f8f5ec05c07e","datavalue":{"value":{"text":"Probability-like functionals and fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1378735$E190F5AB-87FE-45BA-8F8D-B35AEE30176F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26285a9ebe29b370757b7d66aaf6bcc8f121b514","datavalue":{"value":"0891.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378735$84858D8D-D773-48D0-8677-81081F9D379A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b47c632a6892c705a778626aeac00adf94f0a025","datavalue":{"value":{"entity-type":"item","numeric-id":178971,"id":"Q178971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$C97B9EDD-DE80-4318-97C1-6062A7921FCB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c5ad7b9baf8e531c6b1ad954eb5f2899cc8fe5e5","datavalue":{"value":{"entity-type":"item","numeric-id":85344,"id":"Q85344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$BC9C7BC6-EDC8-4442-8185-EFE1A5EB5976","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"220ed6af7cc248b16bb9450242d48b13d5c7c05d","datavalue":{"value":{"time":"+1998-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1378735$319BA93F-A553-4833-A3EC-8BB6A8DC14FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9245cbd49bf33674ffb9d31340ce5c94440c4c4","datavalue":{"value":"https://semanticscholar.org/paper/60cfe55c34f4ce4cc74618716a4aa5ee135924ed","type":"string"},"datatype":"url"},"type":"statement","id":"Q1378735$AD8B0AB5-27FB-4990-AB44-BCF8F8D555D9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46685f482554c78dc24598eee7f50e179528b692","datavalue":{"value":"The author defines fuzzy logic on the set of functions \\(I\\to I\\), i.e., fuzzy membership functions. He introduces a membership function \\(\\text{Val} (v,\\pi)\\) associated with a proof, meaning that, given information \\(v\\), the proof assures that the result holds at least to degree \\(\\text{Val} (v,\\pi)\\). The deduction operator of a theory \\(S\\) is \\(D(v,\\alpha)\\) such that for every valuation \\(v\\), formula \\(\\alpha\\), and proof \\(\\pi\\) of \\(\\alpha\\), \\(D=\\sup (\\text{Val} (v,\\pi))\\). He also defines a fuzzy semantics as any fuzzy subset that does not contain the certain function. The theory so constructed, subject to a rule that implies inconsistency if the fuzzy membership degree is \\(>1\\), is shown to admit ultraproducts and to be logically compact. Applications are given to the description in this setting of the classes of super-additive measures, fuzzy necessity logic, upper and lower (Dempster) probabilities, and lower envelopes of probability measures.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$8013C9C6-1401-4ADB-A30A-1C207AB00BE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378735$B1ABEDBC-85D5-4D09-9317-7995E7B9D8F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e434623764b4ec6ce4d915ae1355925097355022","datavalue":{"value":"1115579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378735$4958127C-791C-478B-A23B-C6C836181E23","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"040081647122f0125f6b3c016157b0d1ef089ee9","datavalue":{"value":"Dempster probabilities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$18FC9E8A-FCBF-4082-BA4C-695E33DFBA9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$2B2CC8B2-1A1E-44B0-91D4-88A31160A4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bc26d6f238c478a4bca0dc355c379089b3db84e","datavalue":{"value":"fuzzy membership functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$7172B327-5513-42F8-AC06-0BDF9D4C611C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"589b9d021942e1e0ac2d6ca0d71d7bc5785811d7","datavalue":{"value":"deduction operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$5F267143-F3BF-4849-B986-32ADA1412D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"927cda73c4f26e43317f914c209c067e7304cc12","datavalue":{"value":"fuzzy semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$71F34731-7E8C-4F94-B906-3BA4A6A15D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c545a6d029705ad9a6670c36e7e8e69f4065e692","datavalue":{"value":"ultraproducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$F5A714F8-6F6D-4DEA-8282-E93B85DE0DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1309b096559c6fc360d912bd1e4cd0c0b126a11","datavalue":{"value":"logically compact","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$A78D0BBA-2853-4F91-B6A0-8BB7DD798E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf8a9aa02d7f2ce29f5bc5af6ebbc97f16bd66e","datavalue":{"value":"super-additive measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$D44D9DE0-77A1-4F79-BA97-B51187C8988A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b65ae42ac49d8cbed4ea2bb8a2db11c40d99eee","datavalue":{"value":"fuzzy necessity logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$20D95B03-AD71-48EC-AEF6-8614D27BFB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d589612e416041b241138d7b4f0325b8fd1408f1","datavalue":{"value":"lower envelopes of probability measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1378735$1FDCD824-D260-4E9C-9BF6-AFFDB96B3DEC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0bc1ba0153f6b56c7993aa16e6cc67921cafc2a4","datavalue":{"value":{"entity-type":"item","numeric-id":590887,"id":"Q590887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$CCDFF386-4E51-4127-B4D5-1F346836150D","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":"Q1378735$01C1500F-DEFD-4B03-953F-F394B04F8AFA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"73e2d6ec7ac3b994efd18e7cbfeb19982a5f5ccd","datavalue":{"value":"W1983948340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378735$AFBD0B85-3E8A-4D50-BD23-7290DD280CFA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b004777dbb60511a9a8e8c340c01b86e8b9845d","datavalue":{"value":{"entity-type":"item","numeric-id":2367733,"id":"Q2367733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$C806368A-F605-4F10-BA3A-76708BF89E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb58be023ff2a166d28a3d2ce9f6654ba3e2059","datavalue":{"value":{"entity-type":"item","numeric-id":2266726,"id":"Q2266726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$E87F6888-5BAF-4A73-B957-312C4688A3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89ab3bda488c05c038ff4ac126e2a5ce5cf3e25d","datavalue":{"value":{"entity-type":"item","numeric-id":4012703,"id":"Q4012703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$AA93EA5A-A705-4809-A1EA-8B19D3D51568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f650f4f7bc706bdedd6674688059df4f6da8202","datavalue":{"value":{"entity-type":"item","numeric-id":5527811,"id":"Q5527811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$3EFCEC82-B48E-41FA-961E-3096DE863768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0a389bcac613e4dbfd4c6336b4b2c852a73c4b6","datavalue":{"value":{"entity-type":"item","numeric-id":5553784,"id":"Q5553784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$02B71F65-2F68-436C-B6AF-4E7913B35E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddbdafb54965b3c8ad4b7e2330bdbbb850a02bf7","datavalue":{"value":{"entity-type":"item","numeric-id":1103418,"id":"Q1103418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$CF183A51-B8B5-4ACD-A566-BEA02CD8044F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a361cac9c69986353146cfc6e8bfec5c1e2a63c6","datavalue":{"value":{"entity-type":"item","numeric-id":1342214,"id":"Q1342214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$509DB3EC-FD3C-44C7-B4AF-5F29D562D069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1c968344ba046a05929421e44cd6b550b4bed8c","datavalue":{"value":{"entity-type":"item","numeric-id":1344254,"id":"Q1344254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$913AE6C2-C2CC-447C-A584-95C27D98795C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"098ff699ba8ecb8968a186bb6ccdc9652be1cf91","datavalue":{"value":{"entity-type":"item","numeric-id":807657,"id":"Q807657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$86FAC3DB-9FBD-4A82-B66E-39D7D07F1BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052df427476c54fbc19e09adda9b45637fb7c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3890663,"id":"Q3890663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$633DB46B-2DB7-43B6-B4B2-5C92DC04FA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13628ada59b35a6786a29f027f1c3e0b5e9d5f6a","datavalue":{"value":{"entity-type":"item","numeric-id":1143701,"id":"Q1143701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$55355313-1A00-4D41-B0BF-170DB61F8821","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0a2828b8995f220b442717ed5275cf54d0aa23","datavalue":{"value":{"entity-type":"item","numeric-id":1188646,"id":"Q1188646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$C6D3368F-C1B3-4B07-8715-E72C0ED2DC6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f89ea61c5486400cb5592e47e9465a80b854f96","datavalue":{"value":{"entity-type":"item","numeric-id":1222643,"id":"Q1222643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1378735$A3B906D7-5B81-4269-9AC9-BC0660108485","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33d7d32411751e7e8a2a10eddcca816dfa77e1f2","datavalue":{"value":"10.1006/JMAA.1997.5659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1378735$6870F625-270B-4D9D-8D6F-CC99EBAD7426","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9baa61a37a5b1ea9fe872c2b5d90fd18f5f884a","datavalue":{"value":{"entity-type":"item","numeric-id":5246109,"id":"Q5246109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6226bf8d283d05e949908096b5f72d830c3aae4","datavalue":{"value":{"amount":"+0.8058290481567383","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":"Q1378735$13E7BC03-37DA-4CC7-8F05-F127ADD1C639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59b3bb0950315fe41d5f395fddaafcb70df2c920","datavalue":{"value":{"entity-type":"item","numeric-id":3838055,"id":"Q3838055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd091764002a5ef670ad41403757b096fc97ce9e","datavalue":{"value":{"amount":"+0.7848276495933533","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":"Q1378735$F8D4EB38-8A1B-428B-9BE0-7F6F6FF957C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0536fb2500aeb2499ca9e4553eb9318f4c9c1f0e","datavalue":{"value":{"entity-type":"item","numeric-id":3979386,"id":"Q3979386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c345b050274cbd97500b6a16a58d642a8ee2e1ee","datavalue":{"value":{"amount":"+0.7808392643928528","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":"Q1378735$811633FE-E780-46FD-9656-936094644156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b3c5860fc6c81bd96decd1a54329b85c95a3b4","datavalue":{"value":{"entity-type":"item","numeric-id":1342214,"id":"Q1342214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5b49ccedb29207ee0c42cb6cab67ff6c8ce567","datavalue":{"value":{"amount":"+0.7783730030059814","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":"Q1378735$8FDED10F-80A0-4B2B-9288-0B36A20A47C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432642b8b79feb6a0949f5ad4914eb1c12a02955","datavalue":{"value":{"entity-type":"item","numeric-id":4729760,"id":"Q4729760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd5b49ccedb29207ee0c42cb6cab67ff6c8ce567","datavalue":{"value":{"amount":"+0.7783730030059814","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":"Q1378735$BA79125A-710C-4B6E-B652-DF346BFDC7F4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Probability-like functionals and fuzzy logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Probability-like_functionals_and_fuzzy_logic"}}}}}