{"entities":{"Q677079":{"pageid":678928,"ns":120,"title":"Item:Q677079","lastrevid":63517554,"modified":"2026-04-11T13:42:00Z","type":"item","id":"Q677079","labels":{"en":{"language":"en","value":"An elementary proof of Chang's completeness theorem for the infinite-valued calculus of \u0141ukasiewicz"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994532"}},"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":"Q677079$4F21022B-39AF-414B-8F08-828232AB2E2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b7e368cb2a34c1d4a5a701b5c531dfa8512c4fbf","datavalue":{"value":{"text":"An elementary proof of Chang's completeness theorem for the infinite-valued calculus of \u0141ukasiewicz","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677079$F9FBEEDC-BB04-4DBF-8BEA-82065E514310","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b93ad3f8d62f7ed60080b20ec94aa62d78acce9f","datavalue":{"value":"0876.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677079$30EF0DA8-D809-42FD-AA0C-F9DF7C0CD8A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ac38ef6383d52707aa302b0b0758b6f4330b643","datavalue":{"value":"10.1023/A:1004991931741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677079$5AA541A0-28DD-44CD-8AE0-FCA4B710DA0B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8059b8b5e7d67e2c7a1c512c2a2acd219f0f77d3","datavalue":{"value":{"entity-type":"item","numeric-id":186051,"id":"Q186051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677079$0EA20555-A4B5-4CCB-AE86-78180FCAA9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2641d8dcc65ab72e23b1ed55ea64094d58873e5a","datavalue":{"value":{"entity-type":"item","numeric-id":1817693,"id":"Q1817693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677079$DCADCD2E-7061-4179-8490-C2143C8E8B9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677079$39464C70-B7F4-4DF9-B7AF-5E456C96FA65","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"867468f469ba75d0f3d5844c887d31c98dc154f2","datavalue":{"value":{"time":"+1997-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677079$0C5E723B-F704-4D23-8745-7447704AEA62","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eeae1bdfd76b1170ffbae3700dde5d8c6c08e573","datavalue":{"value":"This paper presents a self-contained proof of Chang's completeness theorem for \u0141ukasiewicz's infinite valued calculus. Some basic properties of MV-algebras are introduced. It is shown that the unit interval \\([0,1]\\) with the operations \\(\\neg x = 1-x \\) and \\( x \\oplus y = \\min(1,x+y) \\) is an initial MV-algebra, in the sense that an equation holds in \\([0,1]\\) if and only if it holds in every MV-algebra. This yields Chang{'}s completeness theorem.","type":"string"},"datatype":"string"},"type":"statement","id":"Q677079$23DADFA6-30F6-4123-99E1-B1FE25FDFE30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a70eb255db58b1b2b90f33f4fe4a154901c6aeb8","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677079$D4EE580B-3019-49A2-B31E-7262270CB82F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677079$C1F66076-6F10-4E84-B4D0-E715D3FB6BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e8c40330eb2379a40e6c9b62fdbcc32287207f24","datavalue":{"value":"06D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677079$49CE35AF-DCC2-49E1-9E55-6F4C62023CB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d84cccf31463903ecff337ffe80c9633779cd29b","datavalue":{"value":"994532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677079$1203FDC2-853B-40FF-AF3C-8B5C34B5F0D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q677079$F0BB295B-A949-43F6-BB78-85073C9D05AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a00f37cb892ad764f55d34cb1e205f288e74042","datavalue":{"value":"\u0141ukasiewicz calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q677079$9A174977-F748-4561-9F0A-BE52A0D91EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a85ca7fc645ddd8e6853de1941ab89aef1473bb4","datavalue":{"value":"MV algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q677079$7E720A03-EF27-4B8D-9EF3-FC82A7F9B983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4de4f351d32df929e7436a4a737f6ea3c17b9afb","datavalue":{"value":"Chang's completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q677079$F0ACC5D1-1DC2-4937-8D48-132BFD798B36","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":"Q677079$7DA49502-D445-4F1F-9FA1-C87ECBB19ABD","rank":"normal"}],"P1643":[{"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":"db6e930cc5993e1f8beaade418e79ab7ad7f0416","datavalue":{"value":{"amount":"+0.8574250936508179","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":"Q677079$E8AB4469-7FB9-47F6-93C2-3FCF336C706D","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":"46a70e0d879468bcc36db5576d24d97d695bd20f","datavalue":{"value":{"amount":"+0.8356186747550964","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":"Q677079$5E61B37B-B8B9-4E82-9546-2A334ECA447C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fed4b725ed6cedbd33b8df28fef96a0e1a6ae41","datavalue":{"value":{"entity-type":"item","numeric-id":5472325,"id":"Q5472325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d142a00b4c3fde079afc71fb4fceccbd80c2c14","datavalue":{"value":{"amount":"+0.8271368741989136","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":"Q677079$04730088-D2F6-4F09-8C02-EAAD54023554","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An elementary proof of Chang's completeness theorem for the infinite-valued calculus of \u0141ukasiewicz","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_elementary_proof_of_Chang%27s_completeness_theorem_for_the_infinite-valued_calculus_of_%C5%81ukasiewicz"}}}}}