{"entities":{"Q1765100":{"pageid":1775842,"ns":120,"title":"Item:Q1765100","lastrevid":48419296,"modified":"2026-01-04T16:31:12Z","type":"item","id":"Q1765100","labels":{"en":{"language":"en","value":"On the predicate logics of continuous t-norm BL-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2137163"}},"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":"Q1765100$9213341E-2110-427F-B0A4-DD802BFF868F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"db744e2162ad6423bc9935d589abf87c5cc5cf31","datavalue":{"value":{"text":"On the predicate logics of continuous t-norm BL-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1765100$3147CD2B-7827-42AE-B836-9155FAE299A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03b37c88e001ce547493556f3edfefeb91341634","datavalue":{"value":"1070.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765100$961E8DF4-6637-4522-BED7-383B9FB86714","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$0534907D-CE96-43CD-9FEF-FCEE4AEABAD9","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":"Q1765100$A66E9A93-18D4-4275-B847-434FA2153DC9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6fd9f57da46494686492c936ca92ef875382ca4","datavalue":{"value":{"time":"+2005-02-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1765100$F84B457A-E5E1-45EF-B182-4BE64A0CB518","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"76c85505de52944cc1d30f2074d2395effefa4f1","datavalue":{"value":"Let \\(\\mathbf{C}\\) be a class of BL-algebras whose lattice reduct is the real unit interval \\([0,1]\\) with the usual order.  Firstly, the paper deals with the task when the set Taut(\\(\\mathbf{C}\\forall\\)) of predicate formulas valid in all members of \\(\\mathbf{C}\\) is recursively axiomatizable. The author shows that Taut(\\(\\mathbf{C}\\forall\\)) is recursively axiomatizable iff \\(\\mathbf{C}\\) consists only of \\([0,1]_G\\) (i.e., the G\u00f6del algebra on \\([0,1]\\)). If \\(\\mathbf{C}\\) contains at least one algebra not isomorphic to \\([0,1]_G\\) then he recursively reduces Taut(\\(\\L\\forall\\)) to Taut(\\(\\mathbf{C}\\forall\\)), where \\(\\L\\forall\\) denotes \u0141ukasiewicz predicate logic. As it is known that Taut(\\(\\L\\forall\\)) is \\(\\Pi_2\\)-complete, he gets that Taut(\\(\\mathbf{C}\\forall\\)) is \\(\\Pi_2\\)-hard. If \\(\\mathbf{C}\\) contains only \\([0,1]_G\\) then Taut(\\(\\mathbf{C}\\forall\\)) is recursively axiomatizable since it is well known that Taut(\\([0,1]_G\\forall\\)) is in \\(\\Sigma_1\\).  Secondly, it is known that each t-norm is isomorphic to an ordinal sum of the three basic t-norms (G\u00f6del, \u0141ukasiewicz, product). The author proves that if \\(\\mathbf{C}\\) contains a member whose monoidal operation is an ordinal sum containing either product t-norm or \u0141ukasiewicz t-norm which is neither the first component nor the last component in the ordinal sum then Taut(\\(\\mathbf{C}\\forall\\)) is not arithmetical. In the case with the product component he recursively reduces Taut(\\(\\Pi\\forall\\)) (i.e., tautologies of the product predicate fuzzy logic) to Taut(\\(\\mathbf{C}\\forall\\)). Since Taut(\\(\\Pi\\forall\\)) is not arithmetical, the result follows. In the case with \u0141ukasiewicz component he recursively reduces true arithmetic to Taut(\\(\\mathbf{C}\\forall\\)). Thus there remain only finitely many cases when the complexity of Taut(\\(\\mathbf{C}\\forall\\)) is not known.  Finally, the monadic fragment of Taut(\\(\\mathbf{C}\\forall\\)) is investigated. The author shows that if \\(\\mathbf{C}\\) contains a member which is not isomorphic to any of product algebra on \\([0,1]\\) and MV-algebra on \\([0,1]\\), then the monadic fragment of Taut(\\(\\mathbf{C}\\forall\\)) is undecidable. For this purpose he reduces the theory of two equivalence relations to the monadic fragment of Taut(\\(\\mathbf{C}\\forall\\)). Since the theory of two equivalence relations is undecidable, the result follows. Moreover, the author shows that it is possible to use the same method to prove that the monadic fragment of H\u00e1jek's basic predicate fuzzy logic is undecidable.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765100$96225E23-593B-4AAB-9A05-E62108992D48","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765100$2337A0DE-52CA-4739-A77C-EAC238100F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765100$7F678FC7-C488-47CA-8BE4-181144AE0CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765100$2383EE35-5C2F-4DA1-95E3-94B57FD7BB13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765100$B6059FB6-5077-4DA9-BB09-16751ADF8D09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c03416b4f3933e07577d48aa12f5e32d1f11c475","datavalue":{"value":"2137163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765100$13BB73C6-1E9F-435B-90E4-7AEB138BDD40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d62fd61c408ae743a9722c7ed6b937781530dded","datavalue":{"value":"predicate many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765100$0395EB3D-0FF6-4EAA-8449-27840B9645A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d3317fee091a183b95c82d29dc1e995b7455f26","datavalue":{"value":"arithmetical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765100$F9E01533-CA88-4743-89F9-A3CAD8CA09BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d821b91ebb447b2fceb09c68427da1a44505454a","datavalue":{"value":"t-norm semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765100$D9049AFE-2034-423A-821D-30D4E3D04D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a993c44ee7a170fe20ad50759945859677a0e5","datavalue":{"value":"BL-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765100$DDED9D3C-AF87-4F71-8574-A50504289064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f3fb1eb6b486d46650c7945ad21ecc2fa088403","datavalue":{"value":"recursively axiomatizable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765100$F8AAE55E-C4FC-480D-9056-628C4CC83004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1765100$1D103BCE-AB1D-431C-AF64-5DBCB90FAA18","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73c361858eeca6952519ea8b552aad4cb33e3b12","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$94F2D4DF-EDE7-423E-83BF-1506BEFC3F3A","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":"Q1765100$B7ACCBA3-7095-4D59-B2FA-7A7A9DBAEA80","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9bf78de5d0f033d2b1dcba02542183d440ccf3b","datavalue":{"value":"https://doi.org/10.1007/s00153-004-0231-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1765100$6C23188D-84A3-4C9D-B5D2-63AF51DC4D9E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fbdc9d66cec422f5b2f992971ebd052d13ce422","datavalue":{"value":"W2043389664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765100$5763BB26-37B0-4A8D-99EA-84FC3A4276F1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81700654b480ea16a29b7b331463fd1f3978ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1812017,"id":"Q1812017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$25C7324D-14E0-4A94-8429-1B825D3762DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fafd70556b595d77a31de57c7ab1eaf6f9533c5","datavalue":{"value":{"entity-type":"item","numeric-id":2462673,"id":"Q2462673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$DF27E99C-7EA1-417D-9BBD-781605093F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7673fd4d4c6d7fdaf102dcb205eec0b3433a82e8","datavalue":{"value":{"entity-type":"item","numeric-id":2996163,"id":"Q2996163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$C2C194D9-FA72-4BBF-BD53-55E3FCC089F3","rank":"normal"},{"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":"Q1765100$A6A6F72C-13C3-4E40-9D48-C1556A7080FD","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":"Q1765100$3E3FF6E9-4EA8-4B11-AF51-B46780A21F93","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":"Q1765100$800358A7-E564-40AB-B115-543BB8D27FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$34244076-23B6-4F65-A01A-49ACADAEB72D","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":"Q1765100$A006ECBB-D734-4B25-8F94-3969EB905D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eab24102e948920dfd02bee90c9d71433c69f1d","datavalue":{"value":{"entity-type":"item","numeric-id":5951915,"id":"Q5951915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$F46E4019-87E8-4488-BD82-F9C6363DE5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24ce3ae760d0a93a1224e45666e6719453837d98","datavalue":{"value":{"entity-type":"item","numeric-id":1612688,"id":"Q1612688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$164826A6-6E98-4025-8656-E56EA8B1F296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2393b24e4a16f9cc72a353f9fe927724d4f33c6","datavalue":{"value":{"entity-type":"item","numeric-id":4434613,"id":"Q4434613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$36054B08-63B2-4AC8-B4C2-176B455304A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6240387d1f22d12014301b49d4f390878abd7ff","datavalue":{"value":{"entity-type":"item","numeric-id":5951916,"id":"Q5951916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$26B4E1CE-2931-4CA9-AFD1-EBFAD5496AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dca4e376739e90cb915f405694b6ab7c37e738c","datavalue":{"value":{"entity-type":"item","numeric-id":773072,"id":"Q773072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$58E9C259-7C6B-44A9-B4E4-EB92A21191C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfe91f76faca47b963262d469c2e8e8b6e5dfdc7","datavalue":{"value":{"entity-type":"item","numeric-id":3663260,"id":"Q3663260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$7C20F445-C1C0-4DC1-AC71-4DC31EBB548A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b6e008809faa98acb6d8f961491c946c7afcbd","datavalue":{"value":{"entity-type":"item","numeric-id":768102,"id":"Q768102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1765100$680AD499-9F0D-440D-8BB4-C6E91BC7B2C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1071fbdd5d50ed20fd987bbe6aab7708c24e0b57","datavalue":{"value":"10.1007/S00153-004-0231-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1765100$65526FBA-9001-4B0E-8EC8-3027374E070B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ccd01adf55d668f3d75449f1c6b929288c5f448","datavalue":{"value":{"entity-type":"item","numeric-id":1612688,"id":"Q1612688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37395cd959427fdbd85cd08913968e566c419a4a","datavalue":{"value":{"amount":"+0.8114745020866394","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":"Q1765100$A0E45790-2A38-4F0B-9198-483827C7FAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d35e3a4cc62156451f306bf4234aca0a1b1031","datavalue":{"value":{"entity-type":"item","numeric-id":2466754,"id":"Q2466754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b60bc2addd33b25d9d15a7268387e9ae3d8e2d","datavalue":{"value":{"amount":"+0.8095054626464844","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":"Q1765100$6692841C-2F78-4500-BA7E-3934433B5B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a0ce02feb9342700729fde177f6c9445f0029b","datavalue":{"value":{"entity-type":"item","numeric-id":816865,"id":"Q816865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca72ad84346b5698b37f100adb1bcc5065a46c2","datavalue":{"value":{"amount":"+0.8081092834472656","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":"Q1765100$AA019049-F81E-4C3F-9096-6C6E87735957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a994f53f0bc05afdf68c72f41e37e27d35ec16","datavalue":{"value":{"entity-type":"item","numeric-id":5951916,"id":"Q5951916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5185970bb9cc05b017c2110fc1bc78c524b96814","datavalue":{"value":{"amount":"+0.7919030785560608","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":"Q1765100$E68FDE0D-0ADF-46F5-B633-44BD748CE26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e12d77780aed102c595a1348e609dc1c26c351f0","datavalue":{"value":{"entity-type":"item","numeric-id":1697516,"id":"Q1697516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5185970bb9cc05b017c2110fc1bc78c524b96814","datavalue":{"value":{"amount":"+0.7919030785560608","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":"Q1765100$C0A9B48C-96F7-40B5-BAD9-795B927E89E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1765100","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1765100"}}}}}