{"entities":{"Q937210":{"pageid":939058,"ns":120,"title":"Item:Q937210","lastrevid":65479209,"modified":"2026-04-12T02:52:34Z","type":"item","id":"Q937210","labels":{"en":{"language":"en","value":"Pavelka-style completeness in expansions of \u0141ukasiewicz logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5314397"}},"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":"Q937210$993E7962-F1A0-46DB-826F-A37187BEA9C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f54c8f0370098450e293e7f66432390f48bee2a","datavalue":{"value":{"text":"Pavelka-style completeness in expansions of \u0141ukasiewicz logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q937210$B50EB110-60BC-448D-B9BA-BD7BE6A4F907","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b2d85ef8e21de7bed7061e1bb0dfc55286a5f88","datavalue":{"value":"1182.03045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937210$451BE15B-F1B6-4556-831D-216DA82C2512","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78c2444773506a2d149a5400455ba0bb355fc463","datavalue":{"value":{"entity-type":"item","numeric-id":353356,"id":"Q353356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937210$F25D39FA-11EA-45DB-9067-DB14812E413B","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":"Q937210$7D130FEC-054C-4755-BAD4-CB64A2FC90D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ba0ef11ca09d43284a43252115c6ec66468ef790","datavalue":{"value":{"time":"+2008-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q937210$88E61D67-1C0F-4370-AFE6-E7CAFD1252D2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"667a3237f42e5872f5cdb07b94add20e5bb2acad","datavalue":{"value":"https://arxiv.org/abs/0806.4949","type":"string"},"datatype":"url"},"type":"statement","id":"Q937210$9426C63D-0B7C-4ED6-9737-796DFE5312AA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b582a95b12f405182c3748493483c95ec6454af0","datavalue":{"value":"In 1979, Pavelka proved a completeness theorem for the (Belluce-Chang) first-order \u0141ukasiewicz logic equipped with additional constants for each real number in the unit interval. H\u00e1jek's proof for the rational fragment of this logic was used by many authors to prove the completeness of many expansions of first-order \u0141ukasiewicz logic. The present paper introduces a new method to prove completeness, using the fact that the standard MV-algebra \\([0,1]\\) is injective in the category of MV-algebras. The method is then applied to product \u0141ukasiewicz logic and to divisible \u0141ukasiewicz logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q937210$77BD59B4-67CA-410E-859A-9C5CA50C9173","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":"Q937210$31BD2F38-57E2-4309-AD84-C279C0EE7EE5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937210$181305EE-BD02-4BC9-B102-B12202DEF8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937210$C5F746F3-F8A0-4A22-9BE5-242A83166808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937210$C9288F8A-1E64-406F-B38F-572A8DE444DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd41a1fe75c9576edbeec940f95d3a12634f998f","datavalue":{"value":"5314397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937210$4934A94C-2500-4E0D-ACE4-FBF317F7732C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q937210$C844980F-48A2-45D7-9F54-163D88302F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6743d53a5ef94e6206a4a663a7af13247d79637a","datavalue":{"value":"injectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q937210$E28A8958-8A21-4055-9EA6-EAF29CD51379","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588287563565687f837a724e394d93f1d93d7686","datavalue":{"value":"Pavelka completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q937210$94D554AB-357C-41ED-8E9A-B70F76C38D8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q937210$8DF291E0-0FD2-4FB6-802A-2C46341820ED","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":"Q937210$99D78C12-D7A5-4118-89B2-BE8D49CAA268","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5842c024e5aa434a4e25dc28a5f8493f00ceae9f","datavalue":{"value":"W2028203675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937210$AC37C1FD-23BA-4747-A062-BA49B229A629","rank":"normal"}],"P223":[{"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":"Q937210$E2649DC5-9781-4DE0-89C6-E273A58927BA","rank":"normal"},{"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":"Q937210$56FB2B49-9770-450C-AF4D-A5890DE2B7FE","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":"Q937210$1971B977-26D7-487D-B336-E84EBC3032A1","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":"Q937210$3E3919BD-8344-4673-B13C-8609DEC7D553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96a81a33d89661e3784a7af6ad0706b13c42e3f0","datavalue":{"value":{"entity-type":"item","numeric-id":5928311,"id":"Q5928311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937210$670F3A8A-47CC-464D-8DEE-74210C9BF480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d9ebc106fbedfb9f0ffd89425236a6ff0ef1d1","datavalue":{"value":{"entity-type":"item","numeric-id":2583602,"id":"Q2583602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937210$C33C58C9-B109-48C6-AA16-B80108D1E050","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":"Q937210$F1D300B2-89B1-440B-B2DE-C0DB45F3464D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc82da5c1d78a2ba1efbddfb1289a6eecabf01e","datavalue":{"value":{"entity-type":"item","numeric-id":701745,"id":"Q701745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937210$A20DE2C3-0355-47FE-868E-60FAA14D0765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3572e8490a78cd2d809768fb177c7ba8e6e7acb8","datavalue":{"value":{"entity-type":"item","numeric-id":1971782,"id":"Q1971782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937210$D5A595FF-88B5-4BEB-BE69-DD0E4A6BCA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1736e0e463d54c08951780f6795acb7531fdf4dc","datavalue":{"value":{"entity-type":"item","numeric-id":4788820,"id":"Q4788820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937210$6CAF4523-69F5-4DB9-8EA7-216CC8E57D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937210$5EDBDEB1-FBD8-4744-B64E-741B6FAFFDDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"39c17ac1f3443441dc97f2e90fc6048a860dcace","datavalue":{"value":"10.1007/S00153-008-0064-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937210$7F2855C2-F7E8-4978-BD67-D980E250BBD6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d8ab6a95adde8c1eb94e20f32c26a343ca8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1697340,"id":"Q1697340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6d0b9776659eaa965d2d5f4c58043a8bac7ebc","datavalue":{"value":{"amount":"+0.8297476172447205","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":"Q937210$43F0E409-4D0D-4E29-B54E-4DD6908E3353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de6a803a3a4a2e865945fcce92f90469eba3dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3982253,"id":"Q3982253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ec37bdacad5ff8ffa02d4ab3ccfc165dfa1b4ca","datavalue":{"value":{"amount":"+0.8278008103370667","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":"Q937210$44B6E63E-4444-4AD7-BDB0-613978418635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa39297d4cc919a14acb5567a2e80bb4c92f02f","datavalue":{"value":{"entity-type":"item","numeric-id":4508252,"id":"Q4508252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f81b3edfa96a848c7db4db0ebc8d0db30b72704a","datavalue":{"value":{"amount":"+0.800110936164856","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":"Q937210$5F489AF1-0410-4DC1-A9EE-7BFEA2C6AFA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6c04ebaf451bf98b0044fe2add4de8992068ad","datavalue":{"value":{"entity-type":"item","numeric-id":4842633,"id":"Q4842633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6ab805258712ca33087d099477e017e59f6567f","datavalue":{"value":{"amount":"+0.7963582277297974","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":"Q937210$B8B7EFF6-F46D-4101-A29D-0925540EA3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b11579ca100eef0ba0bfcfd055475c5f952b8de","datavalue":{"value":{"entity-type":"item","numeric-id":2351509,"id":"Q2351509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a3e91082fe612d87c97cd98fd440fe820dd317","datavalue":{"value":{"amount":"+0.7894319295883179","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":"Q937210$1A428516-7711-459D-88E6-E8B367ABC3C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Pavelka-style completeness in expansions of \u0141ukasiewicz logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Pavelka-style_completeness_in_expansions_of_%C5%81ukasiewicz_logic"}}}}}