{"entities":{"Q2351509":{"pageid":2362252,"ns":120,"title":"Item:Q2351509","lastrevid":57867843,"modified":"2026-04-02T21:12:53Z","type":"item","id":"Q2351509","labels":{"en":{"language":"en","value":"Another proof of the completeness of the \u0141ukasiewicz axioms and of the extensions of Di Nola's theorem."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6449383"}},"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":"Q2351509$1552D75D-F4EC-4D10-8DB4-1CC673D0C828","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd3b12e08d4a6b1713435df07153f09f891d132f","datavalue":{"value":{"text":"Another proof of the completeness of the \u0141ukasiewicz axioms and of the extensions of Di Nola's theorem.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2351509$179426F0-C070-4665-9AEE-0111510522F9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efd934fcda8aeff582e805aa53760d1f1b5fe7db","datavalue":{"value":"1320.06010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351509$9C54201B-8973-4289-904E-B517B878B269","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"683cce8176676d3bc3472b1636bd01ada0f32afc","datavalue":{"value":{"entity-type":"item","numeric-id":261576,"id":"Q261576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$A4F2B49E-6111-4CC2-A596-D5ACD59D60AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1009b76ff83985243f529dc96d2417a3ae270b3a","datavalue":{"value":{"entity-type":"item","numeric-id":277550,"id":"Q277550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$5F0F353B-3FC3-47E1-8EA9-E8496CFA4A32","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$29196AA7-98E9-448F-9AA3-CBAA35EBF95B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c61f53f8f8d7719eaa1ef54a22f9b50ec39aa46f","datavalue":{"value":{"time":"+2015-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2351509$3AC3976F-A37C-4DD5-BA92-3EB5C0000D6C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be73fb400feca4db383cd4f2e3ad5c68ecf5fdc0","datavalue":{"value":"https://arxiv.org/abs/1305.3408","type":"string"},"datatype":"url"},"type":"statement","id":"Q2351509$6B1602E9-C4C7-40CA-B685-CD4A04B11AC7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"471772e0e960b352879f722d43524b58eaacfedc","datavalue":{"value":"Using Farkas' lemma the authors embed every finite partial subalgebra of an MV-chain into the standard rational MV-algebra. This easily yields a new proof of Chang's completeness theorem for \u0141ukasiewicz logic. This method was also used, for a more general completeness theorem, in the paper by \\textit{R. Cignoli} and \\textit{D. Mundici} [Mult.-Valued Log. 6, No. 1-2, 89-94 (2001; Zbl 1020.03019)]. Combining these techniques with the main result of the paper by \\textit{M. Botur} [Fuzzy Sets Syst. 178, No. 1, 24-37 (2011; Zbl 1252.03145)], the authors then provide a new proof of Di Nola's representation theorem, without using model-theoretic techniques. Similar results for zero-cancellative partially ordered monoids were obtained in the paper by \\textit{J. Paseka} [Math. Slovaca 64, No. 3, 777-788 (2014; Zbl 1337.06008)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351509$8A00B030-A221-4691-9265-A6ABCAFFD3CF","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":"Q2351509$905759FD-B76B-4848-BF3A-AF1FF8BAF234","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351509$6070B41D-612D-4F45-8EAE-A9FC5BE9D0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351509$3C901453-61AE-4AC9-8D72-9131045930E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0470c83de8ad67ca856e044a0e0c8601d213b9c","datavalue":{"value":"6449383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351509$1D54CDAB-655D-4C85-9C59-7914FA3DDF6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351509$60329CC3-5989-4ACF-8366-98F893B9E7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"170b61d63772c1769b0e0ad73e70b7d473ba7561","datavalue":{"value":"Chang completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351509$618D0F97-F66E-457D-9051-D69127142B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351509$69056A3E-11D8-4927-B55B-FBE48F115DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a6bb28135638abb0612456ad7a5c60f902cd09","datavalue":{"value":"\\(\\Gamma\\)-functors","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351509$5017020B-2B1D-4947-8285-3E41C578B08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f7ed2327e147c9a4d1fea0f097e5ecbb1aa794","datavalue":{"value":"partial subalgebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351509$CFBA4A6A-C828-414D-B5AB-FDA3F393B3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bc43da5d50b7cfc6e953a06617517f151007ac7","datavalue":{"value":"MV-chains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2351509$2FDEED91-BEF4-4B18-BDBE-780106B989F2","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":"Q2351509$86AD6B57-51F9-4AE3-BF2D-78A5C69BFF14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"17580ced254fece678ef5cf4f9e2e222cc08f20e","datavalue":{"value":"W1988481246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351509$64F76AC3-08BB-4A10-8D8E-B7C26083A6FA","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":"Q2351509$D31A6391-8952-48F1-9CE3-BD72BAD6BF8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"769ab7eea22e285d14090ca2aab7e5754427dff4","datavalue":{"value":{"entity-type":"item","numeric-id":5461379,"id":"Q5461379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$63E8D7C8-EC70-4A73-8E15-3199E1E1A748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ed68e550f20a02d68b619dbc5a39d88faeca25","datavalue":{"value":{"entity-type":"item","numeric-id":409739,"id":"Q409739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$E6D776A0-0D4C-43B9-9563-8AE2888973D8","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":"Q2351509$5422AB3A-F54D-4CA4-9A19-D1C964B695D3","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":"Q2351509$D940BCF7-86A0-4DDE-BAB4-1DCA7137D399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$3273EF3A-8B3B-4BFD-A864-EA0E99668687","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":"Q2351509$EB377227-9470-4CE2-9383-4448FAE15B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aceb0cb72c507d72fd01383da0fc3c6ef7c770b5","datavalue":{"value":{"entity-type":"item","numeric-id":4542633,"id":"Q4542633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$0B7784D7-852A-487B-932F-2FA5C1F042DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839f7600ee6b1de037027025345fdbf34ad0a5e0","datavalue":{"value":{"entity-type":"item","numeric-id":1005982,"id":"Q1005982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$C6B3370C-CECF-48F7-8E6B-EF5D25466FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"043f9c36513f0169de9888eed47ae021ca19fe77","datavalue":{"value":{"entity-type":"item","numeric-id":2577712,"id":"Q2577712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$35A40497-1238-4D87-991D-F3ED1B46B612","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":"Q2351509$4F411A8B-C84B-45FC-ABBE-6FBA68657DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab7dcf2c807529063ba20e80a5df0c16433c019","datavalue":{"value":{"entity-type":"item","numeric-id":971886,"id":"Q971886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$0C3E0AB6-90C4-461C-AC54-649DD1E16D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a340c590094e6a544299d5e4d62f97a0855c79","datavalue":{"value":{"entity-type":"item","numeric-id":5537404,"id":"Q5537404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$6F4FE2D7-5964-47C0-82D8-C029B492B636","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":"Q2351509$CE32D95C-3968-49E3-8703-E20FC60F9083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a11b5b4fc56ede2eb1d8a7b9ad4dcd85b44c4ce","datavalue":{"value":{"entity-type":"item","numeric-id":2877074,"id":"Q2877074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$D2C14789-1EAB-4E28-BFF9-440A9ADC4C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38cc34f97d90685ac3c62a6803449eb8a8a55907","datavalue":{"value":{"entity-type":"item","numeric-id":3614122,"id":"Q3614122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2351509$0AA40A51-6A2E-46FF-A3EB-C8F4BB9622A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"130c059366d7959807dc3b608d376207893eb1c0","datavalue":{"value":"10.1007/S00012-015-0329-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2351509$8A56CC70-4267-4FFB-B27A-81824D4B0821","rank":"normal"}],"P1643":[{"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":"b73dc65f7abb31c961285e8da4dc7f858e04717c","datavalue":{"value":{"amount":"+0.8124039173126221","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":"Q2351509$64D9DF7B-9E53-4AC1-8D19-469DA97579CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f9455dc8003e1c9b45b896c8322423127fe0533","datavalue":{"value":{"entity-type":"item","numeric-id":677079,"id":"Q677079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee1e7ee4869eea580017179a9576566a72934193","datavalue":{"value":{"amount":"+0.8123732805252075","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":"Q2351509$C89C9AE1-851A-4250-955F-42CD38F0FEBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25cb109d3389500ae60162a6dd43af345e4c751f","datavalue":{"value":{"entity-type":"item","numeric-id":835129,"id":"Q835129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad7b9e464dd3ab12cadf3ee975e145a304456c5","datavalue":{"value":{"amount":"+0.811843991279602","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":"Q2351509$DC91049A-30ED-4447-95D7-0FE2013182F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ba596aac146c63d8d8d95de8f59d51807e3148f","datavalue":{"value":{"entity-type":"item","numeric-id":937210,"id":"Q937210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ba6e1119249f5a08f08af819f431b8e9c8e9084","datavalue":{"value":{"amount":"+0.7847810983657837","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":"Q2351509$8F537D07-CEF0-4C9D-98D9-A1EF6C1D7EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6859bca92b8a70a003036921054309df6d6918cd","datavalue":{"value":{"entity-type":"item","numeric-id":4836220,"id":"Q4836220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6f33cf1b5c420623b2b55f5727e12f1cb1187e0","datavalue":{"value":{"amount":"+0.7817115783691406","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":"Q2351509$BCDA0107-3B33-40E0-8324-1F7FA7F5098A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2351509","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2351509"}}}}}