{"entities":{"Q448927":{"pageid":450694,"ns":120,"title":"Item:Q448927","lastrevid":61978665,"modified":"2026-04-11T02:57:50Z","type":"item","id":"Q448927","labels":{"en":{"language":"en","value":"States in \u0141ukasiewicz logic correspond to probabilities of rational polyhedra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6080889"}},"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":"Q448927$A32B1966-1850-4327-A857-476359D6D96C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"850653e80cedf1b79180d31ceed5912d4555e699","datavalue":{"value":{"text":"States in \u0141ukasiewicz logic correspond to probabilities of rational polyhedra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q448927$9AEF9872-A8C4-40A0-B5F6-53AD4D818E11","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98afc7c5e15988e453333f33ad6be9404dd1dae1","datavalue":{"value":"1260.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448927$91CEA149-7888-4425-9997-B42F7E64A140","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"afead4673638731601ce29383e4426b137382060","datavalue":{"value":{"entity-type":"item","numeric-id":277637,"id":"Q277637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$5755889D-9B64-4596-8CF2-2A65EC9FA287","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ffcf9cdef56de74059e9064d7fefa5c3d05fe8f7","datavalue":{"value":{"entity-type":"item","numeric-id":110194,"id":"Q110194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$F47DD95A-16F1-4906-B987-CA47A396156A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5eb7c028e513adb70517d5dc7c8a025b4004820b","datavalue":{"value":{"time":"+2012-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q448927$BAFA45B2-FB50-4A9F-ABB4-3500DDE35A1B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a2a70f0f285d20f2fec0c316c192a882e68b3933","datavalue":{"value":{"entity-type":"item","numeric-id":591007,"id":"Q591007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$9B957993-CAAD-4AAF-AA9D-10D3EC765607","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448927$74DEC679-9D85-48A4-A266-054EDB960CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448927$B97A6CCF-CC95-4944-9886-4028ECFE3C59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"312873e4c70fff7779580082ce0e163321d4746e","datavalue":{"value":"6080889","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448927$75011E3D-ABD9-4AA2-8A0C-3B13ECB2D2D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q448927$877BA5F9-BF34-40C6-995A-F6492B64BADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee344c3548a503eb5d485e085a844a11976c4636","datavalue":{"value":"McNaughton functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q448927$6A9999C0-1DCD-46E3-95AE-D6ACD22A4234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7718dc0a51b7cc0ff552548a23056d5a909b41f1","datavalue":{"value":"many-valued probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q448927$57128366-738D-4329-99D5-89A4996CCF99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7dde588d49fdd98eaa11e965525c7338aa4a1e8f","datavalue":{"value":"rational polyhedron","type":"string"},"datatype":"string"},"type":"statement","id":"Q448927$5A86B5D1-96E9-4658-8F51-15B45504359D","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":"Q448927$5F2B6545-43E3-4EC4-B640-46C468A5D309","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9128a03bd080ab4fe3939512df923ce43e0f3446","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2011.10.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q448927$FFF43173-E8B9-478B-B48A-687899295542","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cd133635ba6213dee0e6ed34626b5cebe796390a","datavalue":{"value":"W2026981903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448927$1C9C8640-F614-49BF-8845-53421854F340","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a55d859ac71d6f9b864874f44a02756cb2fbea1","datavalue":{"value":{"entity-type":"item","numeric-id":4746027,"id":"Q4746027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$E2F476A9-1D08-4133-A0FB-62E850108C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5a56794a2b679857826e82363184b1e1f797801","datavalue":{"value":{"entity-type":"item","numeric-id":985139,"id":"Q985139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$36A1A6F9-3CD1-4DEF-80EF-2AD09DE96C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fa80e47f8c0afcf3ba05ea2d9b3adfbbc7bab31","datavalue":{"value":{"entity-type":"item","numeric-id":1817694,"id":"Q1817694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$273E5F58-2B70-4752-8733-A42A16FA6681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a980784bc9886c846c3ff836902108aa11b9aab0","datavalue":{"value":{"entity-type":"item","numeric-id":5687941,"id":"Q5687941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$0E6BBC20-23E8-4A05-806F-901CEC1AC1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"929cc21f4ca526c221a265a7b9696a8246de4ced","datavalue":{"value":{"entity-type":"item","numeric-id":962839,"id":"Q962839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$C6A620BE-E829-47DB-9319-4FD5ACFCE87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$191CAE8F-8C8C-4089-B331-E608F9B3EAE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8073276a8916b97326b23193e92c52703810ec51","datavalue":{"value":{"entity-type":"item","numeric-id":5726943,"id":"Q5726943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$560791DF-0183-45C4-ACFC-1613BAD808C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f2a54b4f512e0a1313d45afb2db762d305bbb22","datavalue":{"value":{"entity-type":"item","numeric-id":1779229,"id":"Q1779229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$2A26975B-1252-43D7-8239-03C2D45A8A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dda48c6fe1d00676a9ea25600dee5c75b4a4898d","datavalue":{"value":{"entity-type":"item","numeric-id":3226265,"id":"Q3226265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$A299F9E5-0461-4F20-829F-2AAA4D66F335","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c42f8008d97b5b444e9760719c9a979927f7a94","datavalue":{"value":{"entity-type":"item","numeric-id":5539814,"id":"Q5539814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$51747E9D-2CC9-4E1D-AF58-846C7C279320","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":"Q448927$EFF1B0A2-E391-4944-93F8-8BACEC08EC00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12865d358178cbfbe41e5939c891e1098d993285","datavalue":{"value":{"entity-type":"item","numeric-id":853397,"id":"Q853397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$8FDF5D78-4C3B-46B7-B498-30B0C3D3192A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"030d6dc533a397c1ec1a716288b63a3c6c92b561","datavalue":{"value":{"entity-type":"item","numeric-id":3584006,"id":"Q3584006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$B25289EE-97C6-4796-B5B6-EF3F54BD31B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d16e8dfcfe65d86684bcabe5136abe2826fccd4d","datavalue":{"value":{"entity-type":"item","numeric-id":5804993,"id":"Q5804993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$7CEC9DD6-657B-4C12-8C62-187D46E1EAA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0b926d879a9b22e3f361de92882176e5f27186","datavalue":{"value":{"entity-type":"item","numeric-id":1896758,"id":"Q1896758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$D7DA9FFD-1216-4781-8EA3-116007282202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0aff66a38c5d952742af40d80ca5d302cdc35cc6","datavalue":{"value":{"entity-type":"item","numeric-id":868109,"id":"Q868109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$309F30A9-5562-4244-9544-FB0A35AEEA72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d711bc2c09c1652f1843c856a808c0ca6beb5d","datavalue":{"value":{"entity-type":"item","numeric-id":934147,"id":"Q934147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$1CD4EAAD-5B41-4AAF-A840-27AE62CC69E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03fdcecc646fef5eace9befbd175955300fb162","datavalue":{"value":{"entity-type":"item","numeric-id":626097,"id":"Q626097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$A8B27682-74FC-426D-9FA5-A41BE3822617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6950767b3e9552c547728fd871d97c20919744d","datavalue":{"value":{"entity-type":"item","numeric-id":5692484,"id":"Q5692484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$41A98171-E319-43D6-8D10-0B53EE274D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f77a9214cda195bcd568e53dbe2cc057b70f67fa","datavalue":{"value":{"entity-type":"item","numeric-id":3525186,"id":"Q3525186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$6308ADD7-807C-43E9-B974-8A2F3D839D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1a11f1e67dc4efb03ea4de9d88bfacf0cf9e7b","datavalue":{"value":{"entity-type":"item","numeric-id":3755692,"id":"Q3755692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$0CB6C7AA-AB1A-4CD6-A47B-DD1538453FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2560373e88e98cb8f5b9f3d3d66c2f8cfbd2f378","datavalue":{"value":{"entity-type":"item","numeric-id":5667036,"id":"Q5667036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$20CDD30B-D328-4290-A34F-7798F121ADE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fe2756d61ea716b31f741890e8b6bcc6463c062","datavalue":{"value":{"entity-type":"item","numeric-id":2539895,"id":"Q2539895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q448927$CE3A343F-74EB-421D-9941-25EC9BB4685C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d26df5d8ec4c92afe7dcb8989050b75163c7db2f","datavalue":{"value":"10.1016/J.IJAR.2011.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q448927$2DB96144-2DCE-4807-9D94-79A49CBCB285","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"25b314d57c94b8e37ed2a98c3f452a1ef05aaca0","datavalue":{"value":"A state on an MV-algebra can be seen as a probability of many-valued events (described by formulas of \u0141ukasiewicz logic). The free MV-algebra over \\(n\\) generators is an algebra of \\([0,1]\\)-valued functions, called McNaughton functions. States on the free MV-algebra over \\(n\\) generators coincide with integrals of the McNaughton functions with \\(n\\) variables (this result applies to the more general class of semisimple MV-algebras; see [the author, Fuzzy Sets Syst. 157, No. 20, 2771--2782 (2006; Zbl 1107.06007); \\textit{G. Panti}, Commun. Algebra 36, No. 8, 2849--2861 (2008; Zbl 1154.06008)].NEWLINENEWLINEIn this paper this result is strengthened, and it is shown that states over free MV-algebras over \\(n\\) generators coincide with measures of rational polyhedra in \\([0,1]^n\\). Indeed, a state of a McNaughton function is completely determined by the measure of its one-set. The proof is new and elementary and does not rely on the previous results of integral representation: this makes the paper both deep in its results and pleasant (and self-contained) to read.","type":"string"},"datatype":"string"},"type":"statement","id":"Q448927$FA905A8C-B386-4DB4-8429-E85C2BA073F7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ceacc1cc5d75bf441203f8f28ca5947495c9d3","datavalue":{"value":{"entity-type":"item","numeric-id":3598599,"id":"Q3598599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6455afae3f84f16b98c3a4e829a10d4c9dbbe21f","datavalue":{"value":{"amount":"+0.8074436187744141","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":"Q448927$52E058F2-8AB9-401C-8CA7-FE59005E5CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"709d43feca99e56fcea6fe17e6de88936a0dc995","datavalue":{"value":{"entity-type":"item","numeric-id":3600570,"id":"Q3600570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd6d91523fcaa553b584b88c23001b56c91c6708","datavalue":{"value":{"amount":"+0.8058627843856812","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":"Q448927$C70C4460-4496-4C2A-B2E5-518B98526217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80a8e62d9454c526aac5b1bfed660de6a014055d","datavalue":{"value":{"entity-type":"item","numeric-id":1726388,"id":"Q1726388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"502daad8cc26f1229fef77841070f1d6e66ca547","datavalue":{"value":{"amount":"+0.7965772151947021","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":"Q448927$234FDA11-ACEC-47F4-B044-5E39EF3E854E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b0b745737418a96cf27292d536643e16d904bee","datavalue":{"value":{"entity-type":"item","numeric-id":4926387,"id":"Q4926387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b3d23ae8b60fb052fadcd39c615ceb76e6d8f09","datavalue":{"value":{"amount":"+0.7920746803283691","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":"Q448927$43A1059A-9E79-4862-80A0-BD13D2266FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1b5c9d040ad8639b7159b5dfe5ac4aa214ec99","datavalue":{"value":{"entity-type":"item","numeric-id":876493,"id":"Q876493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c787363b701ff692b6b04fcc748c3f4729d125fd","datavalue":{"value":{"amount":"+0.7881845235824585","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":"Q448927$8EA3D1EA-9B8A-436C-816D-549CDC7BD44B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"States in \u0141ukasiewicz logic correspond to probabilities of rational polyhedra","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/States_in_%C5%81ukasiewicz_logic_correspond_to_probabilities_of_rational_polyhedra"}}}}}