{"entities":{"Q2007879":{"pageid":2018621,"ns":120,"title":"Item:Q2007879","lastrevid":53600240,"modified":"2026-01-25T09:50:00Z","type":"item","id":"Q2007879","labels":{"en":{"language":"en","value":"Functional representation of finitely generated free algebras in subvarieties of BL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135277"}},"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":"Q2007879$2D497FF8-B1DF-41B3-A7C7-B7EFC81ECF56","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d6b4623d5051ae046977df5d946a747932ed054","datavalue":{"value":{"text":"Functional representation of finitely generated free algebras in subvarieties of BL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2007879$E17FF82B-E0F0-425F-8521-6153B18232A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c1e899c12c00467396e50b44f52616aee644615","datavalue":{"value":"1476.03087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007879$45550284-1075-496F-8D64-0A9436199F5C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bdea319675a05894926e1891f30a7626f6753a4","datavalue":{"value":{"entity-type":"item","numeric-id":934890,"id":"Q934890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007879$66E2EE27-1612-49ED-846E-F516696CC059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aae77e8e2b82a5dc2fb39edee5badd3b8f12c82e","datavalue":{"value":{"entity-type":"item","numeric-id":266866,"id":"Q266866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007879$EA7765D3-836C-4C3A-BCB3-B5B43110CF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2bf3f50b986e4489f6316d9b77b8eb9a071518b7","datavalue":{"value":{"entity-type":"item","numeric-id":2007878,"id":"Q2007878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007879$F5C3EB2B-DEEA-4500-BDE0-13BF11A3CB36","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":"Q2007879$BB45BFFF-56FA-4DF5-ABAA-FC1D8E48474A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-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":"Q2007879$FB067592-43F1-4E0C-AA59-712A6866CBF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d357ff6c70ed662b1cdf730071301f44eb17951e","datavalue":{"value":"http://hdl.handle.net/11336/129830","type":"string"},"datatype":"url"},"type":"statement","id":"Q2007879$2FFE4BB6-5992-4E47-88A8-F75EB63F0065","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"496cc80186313caee8ec8ecf237649250b4951bb","datavalue":{"value":"The authors provide a functional representation of the finitely generated free algebras in a subvariety \\(\\mathcal{MS}\\) of BL-algebras generated by the ordinal sum \\(\\mathfrak{S}=[0,1]_{MV}\\oplus H\\) of the standard MV-algebra \\([0,1]_{MV}\\) and an arbitrary totally ordered basic hoop \\(H\\). They show the characterization of the free algebras for the cases of one (Lemma 3.2) and two generators (Theorem 3.19) and moreover a characterization of free algebras in \\(n\\) generators (Theorem 4.16).  Lemma 3.2. \\ If \\(f\\in \\mathrm{Free}_{\\mathcal{MV}}(1)\\) is a function such that \\(f(1) = 0\\) then the function  \\[(*) \\ \\ \\ \\mathcal{F}(x) = \\left\\{ \\begin{array}{ll} f(x) & (x\\in [0, 1]_{MV}\\\\ 0 & (x\\in H) \\end{array} \\right. \\] is in \\(\\mathrm{Free}_{\\mathcal{MS}}(1)\\). Conversely, if \\(\\mathcal{F}\\in \\mathrm{Free}_{\\mathcal{MS}}(1)\\) is such that \\(F(1) = 0\\), then there is a function \\(f\\in \\mathrm{Free}_{\\mathcal{MV}}(1)\\) which satisfies \\((*)\\).  Theorem 3.19. \\ \\(\\mathcal{F}\\in \\mathrm{Free}_{\\mathcal{MS}}(2)\\) if and only if \\(\\mathcal{F}\\) is given by a MS-quadruple \\((f_1, f_2, f_3, f_4)\\), where  for four functions \\(f \\in \\mathrm{Free}_{\\mathcal{MS}}(2)\\), \\(g\\in \\mathrm{Free}_{\\mathcal{H}}(2) \\cup \\{0\\}\\) and \\(h_x\\), \\(h_y\\), \\(f\\)-\\(x\\)-\\(H\\)-McNaughton and \\(f\\)-\\(y\\)-\\(H\\)-McNaughton functions, respectively, a function \\(\\mathcal{F} : \\mathfrak{S}^2 \\to \\mathfrak{S}\\) is given by a MS-quadruple \\((f, h_x, h_y, g)\\) if it satisfies: \\[ \\mathcal{F}(x, y) = \\left\\{ \\begin{array}{ll} f(x, y) & ((x, y)\\in [0, 1]^2_{\\mathrm{MV}})\\\\ h_x(x, y) & ((x, y) \\in [0, 1]_{\\mathrm{MV}} \\times H)\\\\ h_y(x, y) & ((x, y) \\in H \\times [0, 1]_{\\mathrm{MV}}) \\\\ g(x, y) & ((x, y)\\in H \\times H ) \\end{array} \\right. \\] whenever \\(\\mathcal{F}(1, 1) = 1\\), or \\[ \\mathcal{F}(x, y) = \\left\\{ \\begin{array}{ll} f(x, y) & ((x, y)\\in [0, 1]^2_{\\mathrm{MV}})\\\\ h_x(x, y) & ((x, y) \\in [0, 1]_{\\mathrm{MV}} \\times H)\\\\ h_y(x, y) & ((x, y) \\in H \\times [0, 1]_{\\mathrm{MV}}) \\\\ 0 & ((x, y)\\in H \\times H ) \\end{array} \\right. \\] whenever \\(\\mathcal{F}(1, 1) = 0\\).  Theorem 4.16. \\ Let \\(\\mathcal{F} : \\mathfrak{S}^n \\to \\mathfrak{S}\\) be a function given by the \\(2^n\\)-tuple \\((f, \\{h_A : \\emptyset \\neq A \\subset \\{x_1, \\cdots, x_n\\} \\}, g)\\), where \\(f\\in \\mathrm{Free}_{\\mathcal{MV}}(n), h_A\\) is a \\(f\\)-\\(A\\)-\\(H\\)-McNaughton function and \\(g\\in \\mathrm{Free}_{\\mathcal{H}}(n) \\cup \\{0\\}\\), i.e., for every \\(x\\in \\mathfrak{S}^n\\) the function is given by: \\[\\mathcal{F}(\\bar{x}) = \\left\\{ \\begin{array}{ll} f(\\bar{x}) & (\\bar{x}\\in [0, 1]^n_{\\mathrm{MV}} \\\\ h_A(\\bar{x}) & \\bar{x} \\in R_A\\\\ g([\\bar{x}) & (\\bar{x} \\in H^n \\end{array} \\right. \\] Then \\(\\mathcal{F} \\in \\mathrm{Free}_{\\mathcal{MS}}(n)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007879$4200AF45-A943-4A75-BB1B-B44BD1051B3D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007879$351775D9-8E82-401F-B9C8-B93CE740647E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007879$702C9E8D-3356-477D-B044-BC71F43CE935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007879$2776ED9E-C8A4-4B8F-ACC9-AAEC7482588B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007879$B586AB4E-63BB-4E17-B881-F9BEAD3C3060","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb17d358bf073863ddeb8c71e6934d5f6d722b96","datavalue":{"value":"7135277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007879$98AD1414-AA08-4417-93D6-E382D6B26164","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a993c44ee7a170fe20ad50759945859677a0e5","datavalue":{"value":"BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007879$CFE4B63E-FE82-43CF-8BFD-0354928F2DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15f94e50be3d7e0265f970ebcb886062c4c4048f","datavalue":{"value":"Wajsberg hoops","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007879$4AB25FC5-0271-4993-9775-316551EE6F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d10530f0426568d4f2df4a2a102e29fd301ff4a","datavalue":{"value":"free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2007879$BFAD0E86-AC26-4285-9A70-08224FFE0BD4","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":"Q2007879$8AEF96E3-727A-4A38-B45B-5A00B1118CCB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc950ceb6e1ee2ebe17e06c54000a005894b86b6","datavalue":{"value":"W2989027395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007879$EA3B10ED-138E-4501-93D7-2BF83FDCC379","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81700654b480ea16a29b7b331463fd1f3978ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1812017,"id":"Q1812017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007879$BF81583B-ECD7-4ACB-B4C7-27149B4C6DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ddc28176968b5fa81cadeea6f691407b2778d13","datavalue":{"value":{"entity-type":"item","numeric-id":636351,"id":"Q636351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007879$D68CAC77-64F2-47DC-AD7B-5A438AAD1C07","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":"Q2007879$53B3C90E-D99F-469C-B9F4-9CC16DD87DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1211838ede2458be27ca9319bec015caca3556d8","datavalue":{"value":{"entity-type":"item","numeric-id":2583574,"id":"Q2583574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007879$E19D263E-3310-4851-829F-CB345AC94CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a2dc34fdb35c0b67594e2b5ec4d23362ba0d4b","datavalue":{"value":{"entity-type":"item","numeric-id":2370369,"id":"Q2370369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007879$C2E0AB26-1DDB-4E95-AD3F-DAB658130DFB","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":"Q2007879$E450AF41-B828-4C6A-8C18-0E9310D144C0","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":"Q2007879$06EA26A6-C374-43AF-A1E6-DF4A6C3BA99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d26f2c2d499b25daadb93ee76f9a69f4b50a86e4","datavalue":{"value":{"entity-type":"item","numeric-id":1428676,"id":"Q1428676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007879$B533F38E-0A78-42A3-952C-91766C67430A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a352a066b5b24e954830c650e95bc4e799e110b5","datavalue":{"value":{"entity-type":"item","numeric-id":5957457,"id":"Q5957457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2007879$C027C5C3-6170-4070-807D-14C5CD866DCE","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":"Q2007879$848C0022-81AC-456F-BC63-78569ADF01BD","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":"Q2007879$20408787-A60B-4941-98C7-BC780368EF6F","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":"Q2007879$F61A8F4F-56AD-47D8-B0CB-FC6AB78D501D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c2e33521087a8783de8651ab4550d54740d29ddc","datavalue":{"value":"10.1016/J.APAL.2019.102757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2007879$73774437-1782-46AE-93B8-5F94F39E5375","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6511853e1a77027ae069c181de73960e5ff141a4","datavalue":{"value":{"entity-type":"item","numeric-id":636351,"id":"Q636351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17fdd0abd30ec5be1dc0cde31fef28e49b3ddef1","datavalue":{"value":{"amount":"+0.8847375512123108","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":"Q2007879$5C9D438B-F6D6-49BA-807D-BE5FFD3ADA39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b6170ad0d59ad0cbe6872a6029d5a487490537f","datavalue":{"value":{"entity-type":"item","numeric-id":5480467,"id":"Q5480467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1948f68d38caad2083b3584a0c116d20ce418f3e","datavalue":{"value":{"amount":"+0.860629141330719","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":"Q2007879$E0544496-99CE-4E9E-83D4-18F8218C1512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"965a2434c59340be3c1c622a7dff1ed258cfc2f1","datavalue":{"value":{"entity-type":"item","numeric-id":2583574,"id":"Q2583574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9a7e342cc9e0554a9139fe81cce1820dfac517d","datavalue":{"value":{"amount":"+0.8407993316650391","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":"Q2007879$C94EEEA7-004E-486E-8B85-B56BC731E258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e9558107681d718c110376005d5f5ceeb23ea38","datavalue":{"value":{"entity-type":"item","numeric-id":934891,"id":"Q934891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e59b083375970d1fb343a79af1c52b2af798a5d","datavalue":{"value":{"amount":"+0.8401978015899658","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":"Q2007879$0776C538-DEF4-43A7-81CC-978257ADED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1318237cac6250bf3312ca729ce9da44912be701","datavalue":{"value":{"entity-type":"item","numeric-id":387625,"id":"Q387625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5440b377784972cd50dc370317081d6951cbe8f7","datavalue":{"value":{"amount":"+0.8215689063072205","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":"Q2007879$D457435E-56FF-44AE-AB85-2F135C3D3743","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2007879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2007879"}}}}}