{"entities":{"Q703371":{"pageid":705220,"ns":120,"title":"Item:Q703371","lastrevid":48396301,"modified":"2026-01-04T14:37:41Z","type":"item","id":"Q703371","labels":{"en":{"language":"en","value":"Consistency degrees of finite theories in \u0141ukasiewicz propositional fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126003"}},"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":"Q703371$48C00F98-7E17-4D45-BA0D-AA47F7AAF414","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a98f22044424369b6111afa8892ee909fd0e1070","datavalue":{"value":{"text":"Consistency degrees of finite theories in \u0141ukasiewicz propositional fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703371$F2CF7D4B-DEFA-405D-8D74-2EC4A36988FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ad5ebb075a76ff497691bc23e476d9de5ef94a1","datavalue":{"value":"1062.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703371$E3386092-6DEF-4E3B-BB61-B10396D76433","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9f3315515dc951b2f1064b9b1a480942f1cfada","datavalue":{"value":{"entity-type":"item","numeric-id":170584,"id":"Q170584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703371$555E37DF-59CE-4554-9638-A32DF233E109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be0124a27f3100a2fb0fec1e652cf4490d1b906b","datavalue":{"value":{"entity-type":"item","numeric-id":163213,"id":"Q163213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703371$7CF2FE47-97DF-4962-B449-9D11C5E21C4D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703371$D607090E-448E-436D-8775-06DC0B276AA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703371$A5455D45-0B6D-40A8-91FE-16D161716EF5","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ab88466716de108ebdfc3c38f7b6873a524a146a","datavalue":{"value":"The authors introduce a measure of consistency degree in \u0141ukasiewicz propositional logic. As is well known [see \\textit{R. L. O. Cignoli}, \\textit{I. M. L. D'Ottaviano} and \\textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Kluwer, Dordrecht (2000; Zbl 0937.06009)], every \\(n\\)-variable formula determines a McNaughton function \\(f\\). The (average) truth degree of \\(f\\) is defined here to be the integral of \\(f\\) over the unit \\(n\\)-cube.   Building on a previous paper by \\textit{G.-J. Wang} and \\textit{Y. Leung} [Fuzzy Sets Syst. 136, No. 1, 71--91 (2003; Zbl 1024.03027)], the authors introduce a pseudo-metric on the set of formulas, and a ``divergence degree'' on deductively closed sets of formulas. Inconsistent theories are then shown to have maximum divergence degree -- but not vice versa. Then they exhibit a sequence of consistent theories whose divergence degrees descend to zero. In the final part, a notion of ``consistency degree'' is introduced for finitely axiomatizable theories, and a necessary and sufficient condition for inconsistency is obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q703371$CC3F01A3-6543-4D16-BDAD-4C591F86D85C","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":"Q703371$C676A6FF-BA69-418A-AF58-6877D0E3C30A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703371$A3BE8EC6-BA02-4E18-9CC9-0EFCA421355F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703371$90612CB1-701D-40E9-BD23-4605A4B64AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703371$A70BEBC6-0101-4B2A-AC22-DA2D709888DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5844c6a6434fe061e23ddd1f7e99764d765b2c2","datavalue":{"value":"2126003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703371$5BBBB16F-1DBE-4506-B6AD-47ADEEBA38AF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q703371$077DFE61-2245-4D4D-BBC1-D2F7CBABB010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1f919cee0048f35ede805343de91093a516395f","datavalue":{"value":"McNaughton function","type":"string"},"datatype":"string"},"type":"statement","id":"Q703371$4FFC5CC7-25EC-4850-AFE4-D6915BCAA3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f261c3c177b9359dba4d9ff9ca6cdb8c638ccea4","datavalue":{"value":"consistency degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q703371$BAAF0F34-00C2-47B5-833D-2F0F2D9BDB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf520eb8b8bfd6e800d31d1411cb0111a25a5675","datavalue":{"value":"divergence degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q703371$40B2F4B5-EA7C-430D-89D4-38EF16E52086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q703371$9448C64D-D0DB-4FF4-A51F-EC60803FFE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e89891c8826826936f0faaf4008cf45028664e32","datavalue":{"value":"finite theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q703371$88925FAA-0D26-46C5-848D-6491B6746AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcfa5cf2ac0df50efd33076f1a9513586f473d09","datavalue":{"value":"pseudo-metric","type":"string"},"datatype":"string"},"type":"statement","id":"Q703371$E85790C4-DAFF-4EC9-A7DD-93448F5BFB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53b6eb874acb0e41bd1090969e579e9c6b829b16","datavalue":{"value":"finitely axiomatizable theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q703371$4BF43D83-2FB5-49BF-BA38-8345A407EF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87dd55c46f28e025f7f537ba4ca1b1f3e1ba66f7","datavalue":{"value":"inconsistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q703371$887CEF89-5B7F-41D7-AD9F-0D2B6C29B06C","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":"Q703371$660DFE0A-B2BD-4939-8F78-879907A6FA23","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aebb93e57c81a09ea9e83925107d2ed06a64f637","datavalue":{"value":"https://doi.org/10.1016/j.fss.2003.12.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q703371$64AD5507-5865-40AB-A97E-6C20138D9A9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e84496d43e1a68a2263acdf5648de9f514b80c23","datavalue":{"value":"W2020188392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703371$DAF4F5E2-8ACB-4F5D-A979-F366FEE1E2D3","rank":"normal"}],"P223":[{"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":"Q703371$4B1EA783-E199-40D7-AC56-4ABA97F063F4","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":"Q703371$81AFB7C1-102A-4C5C-81DD-5F090277400C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4971710e4358cd9ca63b9a295e880af2959f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4269081,"id":"Q4269081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703371$EF817BD0-F5C0-4BD9-9AB6-9CE5E98591BB","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":"Q703371$5012CB72-96BE-4EE4-8F14-92FD95F675D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"960dbd4c86798e135baf2efc4fa78893b0f4b326","datavalue":{"value":{"entity-type":"item","numeric-id":4004140,"id":"Q4004140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703371$42D7A02F-12AF-4ACD-9215-D02F62CF9BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276376264f33785f3bbac09d286d496eeb1c4a37","datavalue":{"value":{"entity-type":"item","numeric-id":1873679,"id":"Q1873679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703371$E1A2376F-E056-4336-BD9A-52C95734CD01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5424248c3fe9657685e43c18cc3dc52be98886","datavalue":{"value":{"entity-type":"item","numeric-id":1963354,"id":"Q1963354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703371$3ACA4C88-DB24-441C-8280-8F4F835B13BE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22e9300789af38e6f656c226839cead6850f2163","datavalue":{"value":"10.1016/J.FSS.2003.12.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703371$0F4FB1CF-E87D-4BFB-8FC5-F53844D08BC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2ffc5a004da33dd97f25f9f0816cf6f0e70b057","datavalue":{"value":{"entity-type":"item","numeric-id":2486057,"id":"Q2486057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0eda6076b9a04bb7f0b6eed29def77a6ab82773e","datavalue":{"value":{"amount":"+0.9144574403762816","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":"Q703371$F240E6C3-BFA9-46E7-8B0D-CF8ABE3EFDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53feb8eb0efc66b4a9140f80a270f071240cf731","datavalue":{"value":{"entity-type":"item","numeric-id":2918227,"id":"Q2918227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a9c299ecbde5ba26cc4ea023508af79fcc841f","datavalue":{"value":{"amount":"+0.8711972236633301","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":"Q703371$4F5C3633-5675-4D6A-AC5C-88D8E437139B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f6f77480f2acd528b191e4f64160df40e61dab6","datavalue":{"value":{"entity-type":"item","numeric-id":853469,"id":"Q853469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f7dda09b6463e2c434a3146595735c7940d89e","datavalue":{"value":{"amount":"+0.8700299859046936","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":"Q703371$A878CBCB-54DF-4568-8F1E-3E3CD75DA1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49768f0f3af4a4d9fb54458bc4bec8cd65ef2593","datavalue":{"value":{"entity-type":"item","numeric-id":3641423,"id":"Q3641423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63da4b4efe5ae56f09bf445e8d5dda4300b798ea","datavalue":{"value":{"amount":"+0.8299894332885742","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":"Q703371$2228A4D1-745B-49F7-AA2C-D0BEEF420569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68cb32c9ea3ec19d3b01bbbdf843db0b9b42d701","datavalue":{"value":{"entity-type":"item","numeric-id":3573959,"id":"Q3573959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a214d040c14493fce95ce9e6bd2f60d6de0b073e","datavalue":{"value":{"amount":"+0.8226237893104553","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":"Q703371$AFCB27BF-EDBF-4D1C-9783-848CEA5B99FA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:703371","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:703371"}}}}}