{"entities":{"Q2576643":{"pageid":2587386,"ns":120,"title":"Item:Q2576643","lastrevid":48612493,"modified":"2026-01-05T09:31:15Z","type":"item","id":"Q2576643","labels":{"en":{"language":"en","value":"Natural dualities for varieties of BL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238616"}},"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":"Q2576643$51750022-BDB1-43A9-9691-CE84211279A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0254a7315988b53c8c75cc697369e3af8ccbddb6","datavalue":{"value":{"text":"Natural dualities for varieties of BL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576643$714AE00D-93DC-4364-9B0F-E11CE7163C7C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b02a4b90df379c20c3177671ef56e4a189ff9a75","datavalue":{"value":"1087.06005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576643$EA4B5B8B-BEAF-4840-844D-E948BB3741EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f83051b52bb4f3bf402d123cf92f9197565fa935","datavalue":{"value":{"entity-type":"item","numeric-id":170591,"id":"Q170591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$6E950059-954B-46CF-8B80-C5903869F873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98a161c6563f600d55e948240633b52c1bed8c02","datavalue":{"value":{"entity-type":"item","numeric-id":234287,"id":"Q234287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$1B95AB46-EC92-49B8-A4CA-48F93C044284","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$24D36941-8D4C-491B-8941-0A021C8EF90C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cc985b1fbecc72e2f3dd52fd00812d9e418d970","datavalue":{"value":{"time":"+2005-12-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576643$21D80BBB-E5FD-4F86-B14E-F3D916D261BC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4001216c8e0fdcbb927f3fb208bcbfa6cbd3707a","datavalue":{"value":"BL-algebras, the algebras of H\u00e1jek's basic logic, are a generalization of various algebras considered in many-valued logic, including MV-algebras. Results by Aglian\u00f2 and Montagna show that every finite BL-chain is an ordinal sum of finitely many (necessarily finite) MV-chains. Let \\(C\\) be a finite BL-chain and \\(V(C)\\) the variety generated by \\(C\\). The authors describe a Davey-Werner duality for \\(V(C)\\) and characterize the injective algebras in \\(V(C)\\). The results in this paper are a generalization of Davey's dualities for the case when \\(C\\) is a finite Heyting chain; they also generalize previous results by the second author, as well as results by Cignoli, Priestley, Martinez and others. For background on MV-algebras see the monograph by \\textit{R. L. O. Cignoli, I. M. L. D'Ottaviano} and \\textit{D. Mundici} [Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer (2000; Zbl 0937.06009)]. For basic logic see \\textit{P. H\u00e1jek}'s book [Metamathematics of fuzzy logic. Dordrecht: Kluwer (1998; Zbl 0937.03030)]. For natural dualities see \\textit{D. M. Clark} and \\textit{B. A. Davey}'s book [Natural dualities for the working algebraist. Cambridge: Cambridge University Press (1998; Zbl 0910.08001)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576643$EC5D2197-5BEC-4FB7-AC4D-294CE044F39B","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e860208dea0a8f07f1622b3764a2f40159457c4c","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$6C80D7E7-AC84-4BC0-8EBB-EDD1910EF200","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576643$1CF56889-7EE0-4339-9D68-D10331D45112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576643$4446CA24-1283-40E1-9490-E121B11E9FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576643$D765189F-E1DE-430F-A1D1-C03040FDAB2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9577ccb6973103e8f41cb9e37851a235447d8805","datavalue":{"value":"08B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576643$3FBB1F41-96C5-462F-94CC-AFDFE3169E6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c7fb137fcb64743c9097e65b42d7ee712e363f6","datavalue":{"value":"2238616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576643$EDDDB0EA-E3FA-4FF7-A3FB-7333B623B629","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576643$FA5F20D8-0FB2-4603-A700-C609DC226B97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a993c44ee7a170fe20ad50759945859677a0e5","datavalue":{"value":"BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576643$7A42C0F6-A027-4D14-8AEA-6CA21AC04C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07fe334b2492e23d741ee285e60170c24cfe4bb5","datavalue":{"value":"BL-chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576643$E252055A-D7BF-4AC9-905A-D46E6E62CFE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576643$5F0ECABE-5F0E-4DE0-8BA9-DE2F69F4C1CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3bd1f5777a6ba812b0c6a0e185a60f87083d1aa","datavalue":{"value":"Davey-Werner duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576643$E4BD52C2-217A-4A56-8755-DB31AF15BA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb4669b1e1a6f33589f4fc8451678010f703bc06","datavalue":{"value":"injective algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576643$B69D3A72-C4C3-4646-9C5C-DC0E1D372DC6","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":"Q2576643$562D33A0-E0EE-4CC7-9BDC-2CFCC73F4754","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3a3745b17cdf54882083e05c2db1aa91d6133481","datavalue":{"value":"https://doi.org/10.1007/s00153-005-0312-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576643$5A709C47-75BA-4ACC-9DAE-0A833308B7F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f303a85de582e654ff3bd2857eec4c999eaf12cd","datavalue":{"value":"W2046845935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576643$128073DB-A9E9-4348-B1B5-04F68248D1C8","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":"Q2576643$AFCF041B-F65D-447D-BFBB-8FA43FBC786B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$6BCE156E-9DD9-4F75-8962-1E572D557361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d95f596d87616b4c45a125752dde08f3ba0a74cd","datavalue":{"value":{"entity-type":"item","numeric-id":1866813,"id":"Q1866813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$8CA2DA29-7C96-4C64-827F-6B68F14FCC8B","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":"Q2576643$11EB8C70-C411-4BCC-A3B1-1C0C313AA7E0","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":"Q2576643$8A4C1D6D-92A2-41EC-8D36-A56671B11285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9a6ade8d1f39de0017bbf6e2c37ec0f518a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4220406,"id":"Q4220406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$B8418EAC-B849-4B99-B16F-59CD7C14D2E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ff4e412bf8854d9903378f7760ad489d0d0572","datavalue":{"value":{"entity-type":"item","numeric-id":4081295,"id":"Q4081295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$70E1073C-05EF-4762-82F0-2D6689E41D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49bc632fe6650ea091bb10e08a7fbcfedcd2972d","datavalue":{"value":{"entity-type":"item","numeric-id":4179057,"id":"Q4179057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$EA6CF367-85BA-428B-A639-F758D08B3918","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":"Q2576643$E066D5C6-2B04-44AF-83BC-8AE150824138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd5fdc5604c99a9049b19ca9b158f4277fcf7ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5554384,"id":"Q5554384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$EA450A72-CC3A-43B9-AAB6-4ABC694359DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea07f2e583ee45be7f9780d5f5f3a8d2360b9348","datavalue":{"value":{"entity-type":"item","numeric-id":5929367,"id":"Q5929367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$851F6835-219C-4B5D-8287-A5B22B868FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70bf0350ab78431b2d1340c6680da27a7a44a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":1074573,"id":"Q1074573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$1A7F1458-7E26-4996-A6D4-1AE33C04804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f78e5a4a2c2ae6252ea546a2c819dce4f8ea29a","datavalue":{"value":{"entity-type":"item","numeric-id":5720214,"id":"Q5720214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$D47F8860-1A51-4510-AD57-1CFEC0592488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5951667788bd8269b47727ee4f2e020600fdc362","datavalue":{"value":{"entity-type":"item","numeric-id":2561246,"id":"Q2561246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$72E36B81-F444-44AA-B320-BCF67F4D7B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c520f466c29fa1a2f58f5de0c0bb794166e00444","datavalue":{"value":{"entity-type":"item","numeric-id":1125164,"id":"Q1125164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$4A6856F8-55F0-4133-9CE6-CF6C3DFC21DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90843fb783f6ed47e9c449f6c13e2278746aba94","datavalue":{"value":{"entity-type":"item","numeric-id":4542641,"id":"Q4542641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576643$1CF122E0-CC12-47FE-B2A7-555A8403F457","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac4b5cef0c7c55875583893078c4f1cdbaac524f","datavalue":{"value":"10.1007/S00153-005-0312-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576643$A9855B62-6025-4710-8997-5F532C3BF4DE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6415f95fb426b62f9d8983cecb981fea3a429e6","datavalue":{"value":{"entity-type":"item","numeric-id":816864,"id":"Q816864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50c8018210d274d06b76b19fb4679591c311325b","datavalue":{"value":{"amount":"+0.8870669007301331","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":"Q2576643$E273EAE2-C2F1-4E71-BFC9-BF1EE7364E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c639e7e820b9fcad4c4252bd4e16b96b0c0ddff3","datavalue":{"value":{"entity-type":"item","numeric-id":5929367,"id":"Q5929367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9f4cbc94cf6f9ab80bf35fd928c4a1a564f994","datavalue":{"value":{"amount":"+0.8550217151641846","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":"Q2576643$06644AFE-5847-40F0-88DD-2431D5EF081F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f219322236b4ae5ca8742f662518e3444aa0d904","datavalue":{"value":{"entity-type":"item","numeric-id":2784599,"id":"Q2784599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35e7d724d492bbd465dda7aaa92d48a6ea4c6d32","datavalue":{"value":{"amount":"+0.8469651937484741","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":"Q2576643$DD54F0CA-5E89-46A9-8958-35336C3034A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10832c90613d05241496243fde41faed18c4a63e","datavalue":{"value":{"entity-type":"item","numeric-id":2760944,"id":"Q2760944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47e07a624a79d4fd1a13262dc7ba8079758fa7ed","datavalue":{"value":{"amount":"+0.8216094970703125","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":"Q2576643$871858BD-ED77-4765-8616-03399A43EB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41d324b447cfa020eb996799e8fde672adb6899a","datavalue":{"value":{"entity-type":"item","numeric-id":3605516,"id":"Q3605516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e40344e2c08b4c822e7ceae2211d02e59b342a9f","datavalue":{"value":{"amount":"+0.816676139831543","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":"Q2576643$3AE9C1C7-9830-4361-8713-A4711D711535","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576643"}}}}}