{"entities":{"Q1407546":{"pageid":1418286,"ns":120,"title":"Item:Q1407546","lastrevid":68633943,"modified":"2026-04-13T01:04:52Z","type":"item","id":"Q1407546","labels":{"en":{"language":"en","value":"Finite-valued reductions of infinite-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982479"}},"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":"Q1407546$10140A2C-1CD0-42AD-B179-F36812A171A8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db3839e47f8f190afcd89f382447a2875aa35ad1","datavalue":{"value":{"text":"Finite-valued reductions of infinite-valued logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407546$4E72FE12-11A7-4779-BC32-0AE94E53202E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a2b20e845a18964ef32cb86efd5c0e4271d1114e","datavalue":{"value":"1032.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407546$2D716863-5CA2-4058-84CF-9503D002AD1F","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":"Q1407546$1D6C55EE-FF47-4B82-A508-08BE05A3A5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5a721f9f293b1ce957f8abb1355293ce053ad0a","datavalue":{"value":{"entity-type":"item","numeric-id":591007,"id":"Q591007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407546$46F39F13-7702-45ED-8DB6-F4764F51FE6F","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":"Q1407546$D7A10BC1-27C4-4FF7-9A9F-A19611C54452","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407546$9E4DFC79-1913-4CBF-B153-E21719987D61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fb1fe3fc4e264cb419921ffcf9b72db24ebb02af","datavalue":{"value":"In J. Logic Lang. Inf. 9, 5-29 (2000; Zbl 0951.03024), the first author and \\textit{A. Ciabattoni} presented a strengthening of 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\\) depends only on the length of the formulas to be proved. The present paper extends these methods and results to G\u00f6del logic and product logic, and to logics obtained by combining G\u00f6del and \u0141ukasiewicz connectives. The results related to G\u00f6del logic are known [\\textit{P. H\u00e1jek}, Metamathematics of fuzzy logic (1998; Zbl 0937.03030)], but the method applied here and the reduction of formulas of product logic to finite-valued logics are new. A calculus is defined for all these infinite-valued logics. It depends on the rules reducing the infinite-valued tautology problem to its finite-valued counterpart. Sequent calculi are provided that are based on the proof-theoretic machinery of the first author, \\textit{A. Ciabattoni} and \\textit{A. Di Nola} [J. Log. Comput. 10, 213-222 (2000; Zbl 0955.03031)]. To conclude, it is shown that the tautology problem for all considered infinite-valued logics is in co-NP. In the case of product logic the presented proof is alternative to the one given by \\textit{M. Baaz}, \\textit{P. H\u00e1jek}, \\textit{J. Kraj\u00ed\u010dek} and \\textit{D. Svejda} [Stud. Log. 61, 35-47 (1998; Zbl 0962.03019)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407546$BC090168-8223-43B6-8F9F-1BEF6EF22859","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":"Q1407546$59E056FC-39B4-4CB5-9CBA-9605E6E9D9EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407546$5F4AEA42-45EC-4DC8-A939-B1C429A3F0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407546$066A589F-A4EA-4E38-9BB1-17288B242C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407546$CC8F6CCE-B0DC-4FD8-9CFE-A7A9B97D390B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407546$0E310B14-079A-49DE-8309-84207C8A3C87","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfa4d2c7178e7b422c2b60091eff5d6e9c005798","datavalue":{"value":"1982479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407546$3FF03138-5F22-4198-AF66-5140EF66A216","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407546$21E5C5CA-0090-4260-B11E-4FC00B3EB1B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0efde83762be6434c44d623d5f8ac88d5b09e79e","datavalue":{"value":"infinite-valued \u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407546$FA0B7934-7001-4E92-B434-C01949822BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407546$F5C6B4AF-C586-4C3C-B67A-18138D2FAE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6c2d535e525c1e1d5ea7187efa822fbf373465","datavalue":{"value":"product logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407546$30F2F0EA-F82A-41E5-8703-6E6F50107520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"721d1168a423b4fd1ec6f2691948a4663f9d873e","datavalue":{"value":"sequence formalisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407546$D8F4EF53-A95C-4618-A85C-79A9B4EB7585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407546$CF15275C-FF26-4050-86A4-DBDD3B980E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3964dc2530ce7a51b440c428cb8d83373a842bf9","datavalue":{"value":"tautology problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407546$2830A374-60B0-40C7-B568-F63A8E2F8E69","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":"Q1407546$570F2E18-2759-481F-B97D-0BA045EFDB65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24e2d88c7060c0093d1bbeaaf58606016911565e","datavalue":{"value":"https://doi.org/10.1007/s001530100118","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407546$7BFF871B-814E-49AB-BDA2-C8246E7E5292","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f74e54db50a28da5e6b9030ce5803621a8bdac85","datavalue":{"value":"W2060345474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407546$819E5919-CDD3-4A53-8528-18400EA9086B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a4abcdca840636c0b46fdfc80a03fc16fffb5da","datavalue":{"value":"10.1007/S001530100118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407546$574828E8-AC24-4F61-8166-A4341DA806E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7eb403c9bbb5a16531bef2300b5a474210cf01c","datavalue":{"value":{"entity-type":"item","numeric-id":1971778,"id":"Q1971778"},"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":"Q1407546$BCCB1CB2-BE93-47BD-B1D9-B6C809F4C59C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b954bdd1d1f0797b091eb23f170e15f67f02ab61","datavalue":{"value":{"entity-type":"item","numeric-id":1276262,"id":"Q1276262"},"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":"Q1407546$6BBEA591-18EB-461B-9B21-10CB66057A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d556c45247620500ddf64477701e2a84f5fcad4","datavalue":{"value":{"entity-type":"item","numeric-id":4534923,"id":"Q4534923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f9a07b7161fca492ffd7ab77881188fdd4e32af","datavalue":{"value":{"amount":"+0.7855297923088074","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":"Q1407546$77F64538-9F00-4433-9D20-C0C044507696","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":"6431f7d855b07db5b9ef0655833ccc05f9adb4b1","datavalue":{"value":{"amount":"+0.7830883264541626","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":"Q1407546$0E2190FC-3158-4EF1-9004-EEC01E1BFEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ef9dba338c524179d8b1e882e76071bd162a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":4202949,"id":"Q4202949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf1553669c1c39f53d293297e5792ff45d7eb66","datavalue":{"value":{"amount":"+0.7722766399383545","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":"Q1407546$4705A932-8226-454A-BBB6-41154F00B155","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite-valued reductions of infinite-valued logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite-valued_reductions_of_infinite-valued_logics"}}}}}