{"entities":{"Q1971778":{"pageid":1982520,"ns":120,"title":"Item:Q1971778","lastrevid":47469718,"modified":"2026-01-01T20:13:46Z","type":"item","id":"Q1971778","labels":{"en":{"language":"en","value":"Finiteness in infinite-valued \u0141ukasiewicz logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1423247"}},"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":"Q1971778$7A7AEAC7-8220-4785-A2A8-3CE65B5C6B3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1bc117d221f1d88aca7ddc3f8aaac30aef551ecb","datavalue":{"value":{"text":"Finiteness in infinite-valued \u0141ukasiewicz logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1971778$78560CC7-21FE-4344-9625-78DB16FF51FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a6c1932004b72a515082578b133243f7469b9dd0","datavalue":{"value":"0951.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971778$7B4C345B-4100-4A18-87BA-26842B369E65","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e5544e896d05e4dad3f26c9f9db5e05924cad8a3","datavalue":{"value":"10.1023/A:1008311022292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971778$332E6528-C1BC-4D81-9BA1-75B04EC4130F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3239827dce618dbe8b1c7b964a1564cb063b763f","datavalue":{"value":{"entity-type":"item","numeric-id":387624,"id":"Q387624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971778$B746C2FD-EE3C-496A-A8EA-0CCF8BA094F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971778$30FC7762-8B89-4839-9122-75D1DB22B254","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1971778$8B4BAA64-6CBB-4098-A2DF-955638D98163","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f3590acd0397325d3b746130927f1c14964099e","datavalue":{"value":{"time":"+2000-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1971778$1A8CA2FF-FB87-4959-8FB8-24DFFA3BEC66","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"961ef77da99455048295c051e011c9d1087bb324","datavalue":{"value":"This paper strengthens Mundici's analysis [\\textit{D. Mundici}, Theor. Comput. Sci. 52, 145-153 (1987; Zbl 0639.03042)] on the reducibility of the decision problem in propositional infinite-valued \u0141ukasiewicz logic \\({\\mathcal L}_\\infty\\) to the same problem in a suitable set of \\(m\\)-valued \u0141ukasiewicz logics \\({\\mathcal L}_m\\), where \\(m\\) only depends on the length of the formulas to be proved. Using geometrical arguments the authors obtain a better upper bound for the least integer \\(m\\) such that a formula is valid in \\({\\mathcal L}_\\infty\\). Furthermore the notion of logical consequence in \\({\\mathcal L}_\\infty\\) is reduced to the same notion in a suitable finite set of finite-valued \u0141ukasiewicz logics. Finally, an analytic and internal sequent calculus for infinite-valued \u0141ukasiewicz logic is defined.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971778$40B6584B-4B3A-4E0C-B73B-95D284DB075A","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":"Q1971778$660B557B-FB71-440F-AB6A-7DF5A0AB20FE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971778$376DD021-015A-4A7F-8A59-81F1EC82C203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971778$24DBA4DC-82DF-4840-A705-5FA3EFFEB94A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971778$8DA13467-CD3C-4814-A904-A7295C95A732","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f266863947905b9bbdf652ee58fe335d72b0e296","datavalue":{"value":"1423247","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1971778$325DD039-F760-41CB-A831-7E65B67E67D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971778$558E473D-36F4-45BB-A853-E8AC5B00BCF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0efde83762be6434c44d623d5f8ac88d5b09e79e","datavalue":{"value":"infinite-valued \u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971778$303D5696-D6B0-47E7-958E-2BCF8630B0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721d1168a423b4fd1ec6f2691948a4663f9d873e","datavalue":{"value":"sequence formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971778$9DCCC796-9495-44FC-870E-995525F9B3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971778$220BA18C-2F84-40D2-BBC7-6713D5D4089F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971778$5A8F1944-9C4B-4577-8D8F-6B81A4B964B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e22bb7984603b39d066247461741507e1db9830","datavalue":{"value":"logical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1971778$33F4CDBE-5A02-4188-8B17-061569C2ECDF","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":"Q1971778$756A7DF4-A046-4128-A06F-EA16A8CD4B06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33373c81652d58563a0063598c92df0f94812309","datavalue":{"value":{"entity-type":"item","numeric-id":1407546,"id":"Q1407546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d16178ed82f8950f0ad4802f2229436ba7793d86","datavalue":{"value":{"amount":"+0.8825923204421997","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":"Q1971778$E86EB168-49F4-4752-9B44-44527DCC0437","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":"fa8f242812af62862c15f1a8447899980c496f9e","datavalue":{"value":{"amount":"+0.8820411562919617","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":"Q1971778$A19DB240-FBD2-4F5F-A764-358A38076ACF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4abc20eaf93ee7c89f9e8fe502bbf6f16ab620b2","datavalue":{"value":{"entity-type":"item","numeric-id":2784792,"id":"Q2784792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e17131a745d2f199f5a1d64ef129edf107583d6","datavalue":{"value":{"amount":"+0.8049945831298828","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":"Q1971778$78958291-A442-447E-A994-1DF1402F3C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85252c0ddf4c140b97030e18fe2e47cb3226e540","datavalue":{"value":{"entity-type":"item","numeric-id":1110497,"id":"Q1110497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2f70d251f478510d9a2b1dd0477c524c08d7e20","datavalue":{"value":{"amount":"+0.8029384613037109","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":"Q1971778$CEB0FB34-133C-4EEF-A2E9-165C3017DDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ed5a8e007d08a8a201f4d24e60cc3fea692585e","datavalue":{"value":{"entity-type":"item","numeric-id":1868241,"id":"Q1868241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a2e97407421f1eaf1e30e06d2034057a9969f72","datavalue":{"value":{"amount":"+0.7946873307228088","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":"Q1971778$5CC70108-53BE-482C-BC53-659649310E0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1971778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1971778"}}}}}