{"entities":{"Q2426161":{"pageid":2436904,"ns":120,"title":"Item:Q2426161","lastrevid":50340347,"modified":"2026-01-13T20:44:07Z","type":"item","id":"Q2426161","labels":{"en":{"language":"en","value":"Quasi product on Boolean D-posets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5265555"}},"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":"Q2426161$9EFE566E-4466-4493-AF61-142C12EBFBC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"32dfb39bc718a073a46c30548a2c3374e0042ebe","datavalue":{"value":{"text":"Quasi product on Boolean D-posets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2426161$B6772A92-EBD1-43A0-85B9-38B3F327F11E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"05c51b1f6f6fa15e24a3553186f40f602d3ec712","datavalue":{"value":"1167.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426161$E15045EB-6E72-4C5B-B27D-5E296AAC94A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1376f75114fc3f41b08d2117530b688a251da20b","datavalue":{"value":{"entity-type":"item","numeric-id":809214,"id":"Q809214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$1BC4D7F9-5603-4EB6-A5DB-367B29C8842E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"82a3be88549eb59571e2dd1afecf617032b59ace","datavalue":{"value":{"entity-type":"item","numeric-id":168494,"id":"Q168494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$5E085AA0-EB5E-487B-87EB-0B7F8B23FA9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3853cc16a27deff7120c9aee10560847198ea65","datavalue":{"value":{"time":"+2008-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2426161$79625252-39D3-4849-BDEF-332D6291789E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cd10bf416e1184da013aaa0529bbf2f6fb7bf213","datavalue":{"value":"A difference poset (D-poset) is a partially ordered set \\(P\\) with a least element 0 and a greatest element 1 equipped with a partial binary operation \\(\\ominus\\) such that for \\(a, b, c\\in P,\\) the following conditions are satisfied: (i) \\(a\\ominus 0=a,\\) (ii) \\(a\\leq b\\leq c\\) implies \\(c\\ominus b\\leq c\\ominus a\\) and \\((c\\ominus a)\\ominus (c\\ominus b)=b\\ominus a.\\) A Boolean D-poset is a D-poset \\(P\\) satisfying for all \\(a, b, c\\in P:\\) (i) \\(a\\ominus 0=a,\\) (ii) \\(a\\ominus(a\\ominus b)=b\\ominus (b\\ominus a),\\) (iii) \\(a\\leq b\\) implies \\(c\\ominus b\\leq c\\ominus a\\) and (iv) \\((a\\ominus b)\\ominus c=(a\\ominus c)\\ominus b.\\)  Note that D-posets are one of the most general structures describing quantum systems. The D-posets are categorically equivalent to effect algebras. In addition, Boolean D-posets are categorically equivalent to MV-algebras.  We may consider measures with values in a \\(\\sigma\\)-complete weakly \\(\\sigma\\)-distributive MV-algebra \\(M.\\) It is possible to prove the product measure theorem, of course, under the additional condition that \\(M\\) is equipped with a binary operation \\(\\cdot,\\) called product, which is commutative, associative and, for all \\(a, b, c\\in M,\\) (i) \\(1\\cdot a=a\\) and (ii) \\(c\\cdot (b\\ominus a)=c\\cdot b\\ominus c\\cdot a.\\) Since the notion of an observable is a special case of a measure, the product measure theorem guarantees the existence of a unique joint observable with respect to this product [see \\textit{B. Rie\u010dan}, Tatra Mt. Math. Publ. 16, No.~1, 143--149 (1999; Zbl 0951.06013)].  The author introduces a new binary operation \\(\\bullet\\) \\ (naming it ``quasi product'') on a Boolean D-poset: Let \\((P;\\leq, \\ominus,0,1)\\) be a Boolean D-poset. Let \\(\\bullet\\) be a commutative and associative binary operation on \\(P\\) such that for all \\(a, b, c\\in P\\) the following is true: (i) \\(1\\bullet a=a,\\) (ii) if \\(a\\leq b\\) then \\(a\\bullet c\\leq b\\bullet c\\) and (iii) \\(a\\ominus (a\\bullet b)\\leq 1\\ominus b.\\) He shows that every product operation is a quasi product. Moreover, the operations \\(\\wedge,\\) \\(\\odot\\) and \\(\\wedge_u\\) are quasi products, where \\(a\\wedge_u b=a\\ominus ((a\\vee u)\\ominus b)\\) and \\(u\\in P\\) is arbitrary. Finaly, \\(a\\odot b\\leq a\\bullet b\\leq a\\wedge b.\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426161$8BAF2C21-D19D-4E02-A052-66F3E835C40B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426161$53B8E557-DA30-4BF7-B2AB-4220C5D4EC99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426161$7EB6F507-50A3-4A79-9F66-F921859462A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"572048f4de56b44bb85ac973ae26b10de9340139","datavalue":{"value":"81P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426161$1E36793D-7E99-46D0-A06D-00590A0E2383","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28accd38a07ba42beb5759588d3066c2f11d174e","datavalue":{"value":"5265555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426161$129E6538-ED3C-499A-98DF-AF3587284CC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f2702b6241576ee00c655403ec98a6f8e263ae8","datavalue":{"value":"Boolean D-poset","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426161$73AF0793-E2DD-458A-A2E1-AA5AB13234EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426161$47F7D8E9-86BC-47B9-9EBC-E6BC44926FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2dc62ed904a8ec6aea71a23ece9b1d64bc66f6da","datavalue":{"value":"quasi product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426161$4A9496CA-38FB-418C-AEAF-5118F218C373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53143510115eb9156d97de988863ef43652afd1e","datavalue":{"value":"joint observable","type":"string"},"datatype":"string"},"type":"statement","id":"Q2426161$3CD872D6-4D10-4DE5-B09F-FA07A083780B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a461cfcc1c525c3e05a3716cbb9b308cdf61f148","datavalue":{"value":{"entity-type":"item","numeric-id":1175934,"id":"Q1175934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$96E641D2-9D60-4386-8AB9-58F6804E715C","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":"Q2426161$484331C1-130F-4E12-966D-FAAC015E85FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6867cb90f0b8bc9b72223252d18d3c5a3ab638b","datavalue":{"value":"https://doi.org/10.1007/s10773-007-9457-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2426161$3C3A6896-D175-4416-80D0-AAE86CCAC099","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8940310ca624eddc47dcd7bfc7ef658aeb0a3be5","datavalue":{"value":"W1986589875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426161$652CC382-4345-4014-A909-43E1D5716564","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2c9d7cb9983b7b3839c8a6538c1e067fd0fb71","datavalue":{"value":{"entity-type":"item","numeric-id":4293522,"id":"Q4293522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$E762EB64-E261-4F58-B498-5B94F71ECFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7588f9557a3f37ef2ba204f5362f92daeeb202","datavalue":{"value":{"entity-type":"item","numeric-id":3253788,"id":"Q3253788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$8B65BF86-77FA-4EF5-B99C-FF5BF67B0E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e782a8ad907a63cc54a886521d9405e63861bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1907552,"id":"Q1907552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$BAC231F0-59DE-42D6-ACC7-F2BAE94D043B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283a6f17855b2c2a03a6227b98ea71fb3a39c735","datavalue":{"value":{"entity-type":"item","numeric-id":4542639,"id":"Q4542639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$140179FB-65EB-460C-9019-DB3C992127F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c8075d261d626f92de70403736eec24ceb3f2d6","datavalue":{"value":{"entity-type":"item","numeric-id":1295896,"id":"Q1295896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$6B43BC38-065F-4C2A-BBB9-743F808EBA3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e201da94cfd0398227782cf6dd631186efd358f","datavalue":{"value":{"entity-type":"item","numeric-id":2762622,"id":"Q2762622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$3A4BBF27-5072-4C6F-B6C0-E02B73C9C039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1375ac30757973679d41737f3485e4f7ee63492","datavalue":{"value":{"entity-type":"item","numeric-id":1403115,"id":"Q1403115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$37880904-4C5D-4C18-BBB8-FA1538AFBFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5774289da01a364e753a8f9f11afcdd0197edfd1","datavalue":{"value":{"entity-type":"item","numeric-id":1575112,"id":"Q1575112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$D7FD0A9A-6CC7-416C-8E61-1173A86BC3EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794c25111b64c80006a1775d63b7bd743845a227","datavalue":{"value":{"entity-type":"item","numeric-id":1907574,"id":"Q1907574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$A346CD0C-22CA-4E9A-BA15-855F6AB30A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4aae5b35a986d6160145a12879818eed4ac98e3","datavalue":{"value":{"entity-type":"item","numeric-id":1079157,"id":"Q1079157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$8AA8F706-7B12-4B88-904E-29C7FE6EDD42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8661c599dd5256d99b1c55541a3f3302a44b267","datavalue":{"value":{"entity-type":"item","numeric-id":1291066,"id":"Q1291066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$C97AB997-1317-4BF8-8681-BFB4A5EC357F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4452ac7b97dd08c474071f4e9606a066d442b439","datavalue":{"value":{"entity-type":"item","numeric-id":4506432,"id":"Q4506432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$DCE7EA0D-4E4F-44D5-B5DB-6F919C0AC562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1736e0e463d54c08951780f6795acb7531fdf4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4788820,"id":"Q4788820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2426161$F0A4244A-DF50-4891-9935-51621FA02243","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d211f39899e0e8189b3ebbb1f4dfc40845b4aa7c","datavalue":{"value":"10.1007/S10773-007-9457-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2426161$46EB3978-5113-41F2-BAFC-6226E8B992C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10fde5816ffa183eb50fc582b6be26fe61a4472a","datavalue":{"value":{"entity-type":"item","numeric-id":4506432,"id":"Q4506432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbf502122dd1d913f03d2e03fc328c9f728686a","datavalue":{"value":{"amount":"+0.7931702733039856","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":"Q2426161$F5A5A916-B002-4060-A9DB-D499B5D92768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372d210c9029b96b23d2ffc787d30744121d7073","datavalue":{"value":{"entity-type":"item","numeric-id":5427870,"id":"Q5427870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dbf502122dd1d913f03d2e03fc328c9f728686a","datavalue":{"value":{"amount":"+0.7931702733039856","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":"Q2426161$F4557B07-3A59-437F-852A-697B4DF2B784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a232487cc0cd84a2bb53254ce1e9ce8451c596","datavalue":{"value":{"entity-type":"item","numeric-id":1608380,"id":"Q1608380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a699d3946b228041385272cce54fb23388e8a5e","datavalue":{"value":{"amount":"+0.7816088795661926","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":"Q2426161$8C1482F3-B6E3-427B-8CD9-9C927FEE6E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23a5e4c9959120e5251cea6863ee95f8147211b2","datavalue":{"value":{"entity-type":"item","numeric-id":4955613,"id":"Q4955613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29ef75dc626562b01af6bf4b85109acb84004082","datavalue":{"value":{"amount":"+0.7705038189888","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":"Q2426161$4DC6B7B6-C0BB-4DBC-A99A-65400232517E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"239afff818cd22a2f4f2306b827753dd3e156821","datavalue":{"value":{"entity-type":"item","numeric-id":5286025,"id":"Q5286025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63c177138d26dfa6d4b7afbef9b7c1f4424a28bb","datavalue":{"value":{"amount":"+0.7705036997795105","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":"Q2426161$3063BBFF-38FC-4FCA-AB6B-80BEA53262E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2426161","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2426161"}}}}}