{"entities":{"Q648387":{"pageid":650236,"ns":120,"title":"Item:Q648387","lastrevid":63295791,"modified":"2026-04-11T11:55:04Z","type":"item","id":"Q648387","labels":{"en":{"language":"en","value":"State morphism MV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5976308"}},"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":"Q648387$91194477-CC83-4126-9FA1-6D9E8DE9BAB4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c3a8a4a90216b5264704a4b2b79198af476be6dc","datavalue":{"value":{"text":"State morphism MV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q648387$DA37CD38-D002-455B-AB2F-F477EC8088E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b240736dbd5e06edd7e8efaa5655ab5d99b393db","datavalue":{"value":"1251.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648387$F8D66AA2-3BAB-4852-914F-1DFBB0A40522","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"359c0df30f5ebfb148ed65afc8a013219b3ae9dd","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$2B77BCEF-07BA-4E2B-9DE5-1F391DC5ACB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"241d91eac26be9dafce27577b0d1f937fbd531b1","datavalue":{"value":{"entity-type":"item","numeric-id":353354,"id":"Q353354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$121B7A6D-7FA7-4B05-978A-374D97F24F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$D40CBD5C-B798-45C6-9176-BFB00B215360","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":"Q648387$9E434087-1D7E-4400-9BD7-D30FDD217A50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d06d6de084d6566994eb3940381939ab0e2877d","datavalue":{"value":{"time":"+2011-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q648387$BE29FA86-FD67-4122-AF86-2194CE8C1C84","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"100f1df54dfa7533ecf7def30e7e773e16f2c85f","datavalue":{"value":"A state on an MV-algebra \\((A,\\oplus,\\neg,0)\\) is a map \\(s : A \\to [0,1]\\) such that \\(s(\\neg 0) = 1\\) and if \\(\\neg(\\neg x \\oplus \\neg y) = 0\\) then \\(s(x \\oplus y) = s(x) + s(y)\\). Truth valuations, that is, homomorphisms \\(A \\to [0,1]\\), are special states, called extremal, since every state arises as a convex combination of extremal ones. States stand to MV-algebras as probability distributions stand to Boolean algebras. An SMV-algebra \\((A,\\tau)\\) is an MV-algebra \\(A\\) with an additional unary operation, called an internal state, satisfying conditions analogous to those defining states. Since these conditions are equational, SMV-algebras form a variety. A state morphism MV-algebra, SSMV-algebra for short, is an SMV-algebra \\((A,\\tau)\\) such that \\(\\tau\\) is an MV-endomomorphism, that is, \\(\\tau(x \\oplus y) = \\tau(x) \\oplus \\tau(y)\\).   The paper offers several characterisation results for SMV- and SMMV-algebras. In particular, the first result is a complete characterisation of subdirectly irreducible SMV-algebras.   A second result characterises subdirectly irreducible SMMV-algebras partitioning them into three classes, according to some properties of the underlying MV-algebras and of the associated internal state. A fourth type of subdirectly irreducible SMMV-algebras, properly contained in one of the three aforementioned classes, is introduced. The paper next studies subvarieties of SMMV-algebras and their generators, proving in particular that the whole variety is generated by the diagonalisation of \\([0,1]\\), that is, by \\(([0,1] \\times [0,1],\\tau)\\), where \\(\\tau(a,b) = (a,a)\\) for all \\(a \\in [0,1]\\). As a consequence of this result the authors prove decidability for the whole variety of SMMV-algebras.   The paper then moves on to prove that every subdirectly irreducible SMMV-algebra is subdiagonal, that is, it is a subalgebra of \\((B \\times C, \\tau)\\), for some pair of MV-chains \\(B,C\\), and where \\(\\tau(b,c) = (b,b)\\). Finally, the authors provide axiomatisations for some subvarieties of SMMV-algebras and prove that there are uncountably many subvarieties of SMMV-algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q648387$75BA54E6-AD83-4B77-AD70-F7E1B439E39B","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":"Q648387$A748C4E4-2559-4A1A-8FBF-66F200032190","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648387$F27A7E3D-8447-436A-A192-9EEA1544583E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648387$12D19E40-06DA-432B-B8AB-23C80161ED0B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5917552f5b3e761dfabadb01132556b7bda58118","datavalue":{"value":"5976308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648387$2D6685EE-8F1C-477A-8CE9-E8354DDF823A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abfc2f41806a7d3b5d6b63814c82f6d6e71d2a91","datavalue":{"value":"state MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q648387$8C5095E2-418B-4B20-B180-B905851F7D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec68144411cc65d3fe71d05f2d017dd490d1842d","datavalue":{"value":"state morphism MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q648387$7FEC2268-CD4F-48CE-9810-711DB2AFCEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e475e9029ab9828e91fa48be7e3e3d6eb96f6791","datavalue":{"value":"subdirectly irreducible algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q648387$26951E8B-7459-47BF-8D02-5FCA9541DBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba8d52f0a82bcfa881e908875254b183ea4a812","datavalue":{"value":"cover variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q648387$19987082-7496-4838-BC73-4DC043430D73","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":"Q648387$670B339D-5A2C-4070-899D-55A3CD306A8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b4bd74a3b467191cec6f21f6392299eecfe58dfd","datavalue":{"value":"https://doi.org/10.1016/j.ijar.2011.07.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q648387$FD7DD4C8-D64D-4575-9DCF-D02A6C431A85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f3d5c2ab33f77e9f350bad6a893808f9a2a0f867","datavalue":{"value":"W2088843700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648387$ABBF997F-8D32-41A8-A480-B523D40D1E13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$47BF7ED1-395E-4CDD-80CE-C7D49A27ACE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$F8DC9514-3FEC-440F-9511-81ACEE3AF679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef88c4a1ef40e208862c168eb829caaba70b0325","datavalue":{"value":{"entity-type":"item","numeric-id":3269132,"id":"Q3269132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$0714C619-C7A5-4FD2-B62B-1EF658550702","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c05faae5bad92566b13ead751712e3861f03896f","datavalue":{"value":{"entity-type":"item","numeric-id":1771935,"id":"Q1771935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$A37DEF6A-41EF-4323-94DF-3E6507E25C3D","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":"Q648387$DC2E37E7-3708-48D3-A514-C448713F6B47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02ca81128f2db6171033ee9291b5b8ff01a99ad","datavalue":{"value":{"entity-type":"item","numeric-id":1199977,"id":"Q1199977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$0B4C11DB-AF74-4719-9802-EA16157C11AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8954db2afc7594479184e486e6b055104ed86831","datavalue":{"value":{"entity-type":"item","numeric-id":1035651,"id":"Q1035651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$127E4DC6-B71C-4AAD-A7EC-AEA0614BA5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ccd9cc9440f0d9f6756b12ae0071905c5122be3","datavalue":{"value":{"entity-type":"item","numeric-id":990982,"id":"Q990982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$9D18ADCB-2ECF-496B-80D8-CCBEAD68BA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e06f7a9d0c8efec2c84676c229d76a5cd4b9ce0","datavalue":{"value":{"entity-type":"item","numeric-id":627435,"id":"Q627435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$8251C570-CBC6-4DD3-8687-4D3550E29C4B","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":"Q648387$8E81174C-07DF-4B42-8AEA-8F2CF0F5DB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$F587FB6B-9D9F-4D8E-AD12-F9F95AA4C1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd70c6bffef5c0db0316b47326964a0112676e0","datavalue":{"value":{"entity-type":"item","numeric-id":4451078,"id":"Q4451078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$F466E273-40FF-4532-8279-ED2E0B95B866","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":"Q648387$ADD737DB-F2BA-4C0E-B102-AADC4C9983CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e74a88acb1883496a2ceef179c1bb813391a45","datavalue":{"value":{"entity-type":"item","numeric-id":2491073,"id":"Q2491073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$6A2583BC-8867-4AA1-B1AC-C117955A097C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee05b382448898647be5358cf3de89a816004b1d","datavalue":{"value":{"entity-type":"item","numeric-id":2379841,"id":"Q2379841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q648387$23E054EC-E32F-4915-B3C1-C0DB6365525C","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":"Q648387$CE074E0E-5A0C-4045-841A-03DF48F5CBFB","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":"Q648387$2BB2BBAA-D388-44A3-B472-17A1402D99E3","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":"Q648387$CB15F33D-0C67-4FF2-90AC-3CB897C877A2","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":"Q648387$00D2C2D9-E112-4040-8C08-6D7C0A40B6EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68887ec6e910836c7a5996bea2169dee66f8928a","datavalue":{"value":"10.1016/J.IJAR.2011.07.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q648387$62E7AC9D-9470-47BB-91A2-E00B559F4BC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c5b0411723f5136d8cb81215e37bb936e372131","datavalue":{"value":{"entity-type":"item","numeric-id":1035651,"id":"Q1035651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1fe6b0907b1769caa9072c3060f4655e5270e32","datavalue":{"value":{"amount":"+0.8929665088653564","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":"Q648387$38434927-1240-417F-AAFD-842BA178C257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d124e25f4a84739328ff8ad0369ba9af5066ebd","datavalue":{"value":{"entity-type":"item","numeric-id":990982,"id":"Q990982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4d23dddb6ff65ca064347499288c1070cad95c","datavalue":{"value":{"amount":"+0.8683012127876282","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":"Q648387$B9C9A826-4044-4C56-A57F-94FDEE6F2E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb149a9adf7ffe974251863ca63490d64ea674d6","datavalue":{"value":{"entity-type":"item","numeric-id":627435,"id":"Q627435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"063f6e9b8aa60887f199836fad92e38cbaf164ab","datavalue":{"value":{"amount":"+0.8633245825767517","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":"Q648387$39BE7E46-A633-4D11-8F5B-3688D65C4356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b4c34662fc95a6fc73678cd2616a60e3aaab038","datavalue":{"value":{"entity-type":"item","numeric-id":3646060,"id":"Q3646060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f82f485792949e940e7dffdc5c07ca5bb948758","datavalue":{"value":{"amount":"+0.8533289432525635","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":"Q648387$42ADE48F-07C6-4570-8370-7C6FC21E8687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f39f962998b50f952e33637a1472eaf688f42e7","datavalue":{"value":{"entity-type":"item","numeric-id":2450653,"id":"Q2450653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a21fff81c2c8675ac7bbb5196c415b7b24b2db16","datavalue":{"value":{"amount":"+0.8512486815452576","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":"Q648387$B4FB659F-A4D9-40E6-B257-81F9062764EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"State morphism MV-algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/State_morphism_MV-algebras"}}}}}