{"entities":{"Q2784599":{"pageid":2795337,"ns":120,"title":"Item:Q2784599","lastrevid":83406545,"modified":"2026-05-07T07:35:40Z","type":"item","id":"Q2784599","labels":{"en":{"language":"en","value":"Natural duality as a tool to study algebras arising from logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1732841"}},"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":"Q2784599$29232721-F441-48E1-877F-B6A7AA844595","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d0e42cbaf12dd8272942b5bca7d95930084504de","datavalue":{"value":"0998.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784599$4B6D9128-E099-4117-BCA1-4177123B9442","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":"Q2784599$6F286C0F-90D0-45BC-9220-B01255A6F7B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9856b7e98769f1b2e2a7e2681ba52df79bafa07d","datavalue":{"value":{"time":"+2002-11-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784599$53E56EA9-4FCC-46DB-A1D9-F5FA81D1BAFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784599$18CBF5B1-E7CD-4006-A9E0-A3B300DE3CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8c1bc0d50b987b1b851d7a7dbf35b5fbed58358","datavalue":{"value":"06D50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784599$C11EDBB3-C906-439A-AD01-6BBE6CB83395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1c1baf3c0a1b693f4250b9f92c4762b4d5fb4073","datavalue":{"value":"06-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784599$FDAD2887-BE7B-4DC4-87CA-E6257BCD0355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784599$F37755F7-AED1-4185-B557-1D355A739EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37d47921a58c85c2a107636e2df4b5e33bf07bbe","datavalue":{"value":"03G12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784599$77F87904-656A-4DC8-9E8B-E10C84A72EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784599$A363088F-ECD6-4B9A-8D19-204A4E21465F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5588a0ade259d5a8afd8265905ddb34db8beb1da","datavalue":{"value":"1732841","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784599$D145362C-3194-46E7-A0E2-2307C2ABF38D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784599$FD466E55-4DAD-45BC-97E7-8A6BE54790DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784599$71862954-8E6F-4069-B01A-0906CEAC41BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a420a5ef9c7c164334c6233ddcdb75631b1c52","datavalue":{"value":"Davey-Werner dualities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784599$74D71035-74EE-4B50-A070-16E8F2586C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784599$13B0AEE2-996B-4BCF-B656-304451849130","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":"Q2784599$62DF7512-CD36-4AD6-9AFE-44DFD8FD35CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"905e9312f41561ac75e6eee8bbd7ebc783ce2eeb","datavalue":{"value":{"entity-type":"item","numeric-id":2475562,"id":"Q2475562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e8e18f4a9a6f61871aec70073010fec5839dce4","datavalue":{"value":{"amount":"+0.9109707","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2784599$4B6F4DEB-A2E1-46A0-B1A0-F063B752DA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3efde63d90155b42b4f881562a3fd4af530240b","datavalue":{"value":{"entity-type":"item","numeric-id":1914154,"id":"Q1914154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61dbb1cd7aea24756cda52e8a50c4b9b8d100846","datavalue":{"value":{"amount":"+0.9059192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2784599$9F9504C0-58D4-4024-9513-85248547BD9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"400d170455c4f2e94f5a06da71b4431c49f764bb","datavalue":{"value":{"entity-type":"item","numeric-id":2231653,"id":"Q2231653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7275feb5e80884b8a0faa1d63edb7941f38f113","datavalue":{"value":{"amount":"+0.90155387","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2784599$E1B7632B-09E4-4C53-B85F-4F8D96801A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e163ec60621cae848074284dfc800d62cf9518","datavalue":{"value":{"entity-type":"item","numeric-id":418910,"id":"Q418910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc1aea98bee32c0118073ac2895070f2d7aa1b35","datavalue":{"value":{"amount":"+0.89947206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2784599$2A3FF4CA-8674-4C62-87E5-2FC3116DE9E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38ec39561a84fc7d1a30a765d3dcf03378c44d09","datavalue":{"value":{"entity-type":"item","numeric-id":1653550,"id":"Q1653550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28009d4f2269d9a56a30fb60736011916fb21c57","datavalue":{"value":{"amount":"+0.8956289","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2784599$50BA3196-8EAA-4F46-9C32-298621849778","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df105258193529493915255353bb7ef012370dca","datavalue":{"value":{"entity-type":"item","numeric-id":1368914,"id":"Q1368914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"554bd0f5bfb3175473e61d8c8f1f005b8a33133b","datavalue":{"value":{"amount":"+0.89283645","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2784599$96889F56-FBDD-44D4-9419-29D3AAB80534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d72eec3ac0cb3164caaba58d4db956cc6c230b","datavalue":{"value":{"entity-type":"item","numeric-id":694491,"id":"Q694491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"105c2d5e6ca2853ad56a85a3c97acc5a8fa3574e","datavalue":{"value":{"amount":"+0.891273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2784599$DD2257B8-4B9D-4672-A578-ACCD42ABC631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5cb2bb4938065958b08dc3c55d9fca03dbbde7e","datavalue":{"value":{"entity-type":"item","numeric-id":495839,"id":"Q495839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df68b38b1c0d26d17a64dea0e3ac0377775f66fb","datavalue":{"value":{"amount":"+0.8875129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2784599$77787473-D5B5-4016-B717-B688AFAC8E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d323b5a79fa1732c9cdf5b14ef42a250c939b8ef","datavalue":{"value":{"entity-type":"item","numeric-id":4329187,"id":"Q4329187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26142ab9938cec0de90673db3a9951964a41b7eb","datavalue":{"value":{"amount":"+0.88718104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2784599$64EEFACD-D765-490D-A110-265586CF0B2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c430d8307a9bc525d951e4c2aae38c2baf07bf","datavalue":{"value":{"entity-type":"item","numeric-id":2343033,"id":"Q2343033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0524867ee9528254f873fc0e7bf262c75a67f07a","datavalue":{"value":{"amount":"+0.8820347","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2784599$A5B182BB-2335-476F-9CE0-ED438E98FF46","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec01f3d119dca4bb9da32b04dbe91cbb0c0a1575","datavalue":{"value":{"text":"Natural duality as a tool to study algebras arising from logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784599$CE2AD3B3-9557-4464-9A7C-83E4791E8FA8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ad0f69e5f8007c9d52c9771b1272393ea93e38a6","datavalue":{"value":"In this survey paper, the author deals with Davey-Werner dualities for MV-algebras. The latter are an important generalization of Boolean algebras, and were introduced by C. C. Chang in the late fifties as the algebraic counterpart of the infinite-valued \u0141ukasiewicz calculus. For background see the monograph by \\textit{R. L. O. Cignoli}, \\textit{I. M. L. D'Ottaviano} and \\textit{D. Mundici} [Algebraic foundations of many-valued reasoning, Dordrecht: Kluwer (2000; Zbl 0937.06009)]. As the author admits, most results are not new, but his aim is to give simple proofs so as to show the usefulness of such dualities. Unfortunately, bibliographical references are sometimes incomplete. Thus, e.g., Theorem 3 contains a duality result which is similar to Theorem 1 in \\textit{R. L. O. Cignoli's} abstract ``Natural dualities for the algebras of \u0141ukasiewicz finite-valued logics'' [Bull. Symb. Log. 2, 218 (1996)] and, as noted by Cignoli himself in his paper, is a particular case of a general result of \\textit{D. M. Clark} and \\textit{B. A. Davey} [see their monograph ``Natural dualities for the working algebraist'', Cambridge: Cambridge University Press (1998; Zbl 0910.08001), Proposition 3.3.14]. Certain computations in Proposition 1 are due to A. Monteiro [see the above-mentioned book on MV-algebras, page 178]. Problems related to algebraically and existentially closed MV-algebras were also studied by Lacava and others [see, e.g., \\textit{F. Lacava} and \\textit{D. Saeli} ``Proprieta' e model-completamento di alcune varieta' di algebre di \u0141ukasiewicz'', Atti Accad. Naz. Lincei, VIII. Ser., Rend., Cl. Sci. Fis. Mat. Nat. 60, 359-367 (1976; Zbl 0362.02038)]. Related duality results by H. A. Priestley and G. Martinez are ignored [see, e.g., \\textit{H. A. Priestley}, ``Natural dualities for varieties of \\(n\\)-valued \u0141ukasiewicz algebras'', Stud. Log. 54, 333-370 (1995; Zbl 0826.06007); \\textit{N. G. Mart\u00ednez}, ``The Priestley duality for Wajsberg algebras'', Stud. Log. 49, 31-46 (1990; Zbl 0717.03026), ``A simplified duality for implicative lattices of \\(\\ell\\)-groups'', Stud. Log. 56, 185-204 (1996; Zbl 0860.06015)].NEWLINENEWLINEFor the entire collection see [Zbl 0970.00009].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784599$C8E44DD7-9F52-4B4E-8424-92C569F1EE62","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":"Q2784599$89164B05-BA1A-4741-A2DE-5D763CBB3EB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural duality as a tool to study algebras arising from logics","badges":[]}}}}}