{"entities":{"Q627436":{"pageid":629284,"ns":120,"title":"Item:Q627436","lastrevid":63313527,"modified":"2026-04-11T12:02:01Z","type":"item","id":"Q627436","labels":{"en":{"language":"en","value":"Completeness with respect to a chain and universal models in fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5859288"}},"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":"Q627436$8FDD55B5-B581-41C5-A9BD-2B6B49EDF949","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80085f5469c2f9816f29f131bfdb4b706a026be7","datavalue":{"value":{"text":"Completeness with respect to a chain and universal models in fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q627436$EB533043-6709-4BD4-AAD4-9DD83283CF53","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c71b8ff26753dee846bf2a76960c79442cff493","datavalue":{"value":"1216.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627436$906F4B1A-F74E-403A-B547-6A9CE35C6862","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":"Q627436$A7D840C2-5106-4BD3-B47C-F5AB4CC055AB","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":"Q627436$8159B162-AE81-46ED-A61B-9DB53849DF5A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09b533463020248dec48904871d03ce0d378b98c","datavalue":{"value":{"time":"+2011-03-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q627436$03D710E7-5DC9-4579-8EBB-F2861AF8D57A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b708e9e49890e3d222ec75504037b99e8eafc808","datavalue":{"value":"A logic \\(L\\) is called ``strongly complete'' with respect to a chain \\(C\\) if the consequence relation of \\(L\\) is determined by \\(C\\). For infinite-valued \u0141ukasiewicz logic it is known for a long time that this is the case whenever \\(C\\) is an MV-algebra obtained as the ultraproduct of \\([0,1]\\) via a nonprincipal ultrafilter. See, e.g., \\textit{J. Czelakowski}'s paper [Bull. Sect. Logic, Pol. Acad. Sci. 8, 79--82 (1979; Zbl 0418.03019)] together with \\textit{R. W\u00f3jcicki}'s one [Z. Math. Logik Grundlagen Math. 19, 239--247 (1973; Zbl 0313.02008)]. See also Chapter 20 of the present reviewer's book [Advanced \u0141ukasiewicz calculus and MV-algebras (to appear). Trends in Logic -- Studia Logica Library 35. Berlin: Springer (2011; Zbl 1235.03002)]. For general results along these lines see [\\textit{W. Dziobiak}, \\textit{A. V. Kravchenko} and \\textit{P. J. Wojciechowski}, Stud. Log. 91, No.~1, 113--123 (2009; Zbl 1167.08004)].  The paper under review investigates the strong completeness property (with respect to a single chain) of several many-valued logics and their first-order counterparts. Sufficient conditions are given for a logic to have this property, notably the joint embedding property of \\(L\\)-chains.","type":"string"},"datatype":"string"},"type":"statement","id":"Q627436$BDEDB99A-3B68-4550-BDC7-DEDB47498B16","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":"Q627436$E5DB4026-55E4-4421-A296-FE7DFB242C78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627436$D6F30187-58D7-4E1A-9241-24A7675D4E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627436$33F12487-E035-4085-91B2-4A9A1D5E6792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627436$F9E5E0F9-FBF9-4B57-AA05-86656FDE6CB3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93068e0a052c0f2cb187ff406dfe5762130c7515","datavalue":{"value":"5859288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627436$3BD34F45-1A94-4283-8963-C65163CFE06E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c67ea07d8b0208e6dbdc28dc1eb63af6e7fd381","datavalue":{"value":"consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q627436$D5A99360-DA2F-4DA4-BF89-A306FAC6AD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q627436$50A6726A-3582-41F6-984D-F45D2F0FCEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q627436$E8CEEA95-616B-4FAB-A22F-E750C840FF7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c00d6dcb60c088c02c55d288e2e5cc8a31774b1","datavalue":{"value":"universal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q627436$8821987F-3F7E-4CF1-B428-13C6BD90764D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0845f5db6ec7e6ee8e59761430356734b45ef7a","datavalue":{"value":"strong completeness property","type":"string"},"datatype":"string"},"type":"statement","id":"Q627436$1CBF20E0-3295-42AB-85C0-536E59F6ED11","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":"Q627436$9C436DD0-84D8-406C-9DC1-3CAC0943436F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e28086586f7d9366ac443bb976a8d539cdc55f15","datavalue":{"value":"https://doi.org/10.1007/s00153-010-0207-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q627436$BCC5F872-73DB-4275-BAA9-5A0117EA4A67","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9a28cca0a3995217fbcf843660640ca8f8067046","datavalue":{"value":"W2063261065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627436$259CE795-85B9-4427-8A20-1C0BC13CBE11","rank":"normal"}],"P223":[{"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":"Q627436$05A8861B-BC74-4E57-B240-3696D6C6BF01","rank":"normal"},{"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":"Q627436$F43188CB-851E-4B80-AF72-2CB3DC64BD40","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":"Q627436$2B6B56F0-F1BC-4FF2-A8D9-236E8F96B1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$8D08A845-C774-43CE-8936-6B91E2B3C8EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$DE27EA8C-ED9D-4F9A-AD28-ADC5EE9021B7","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":"Q627436$32881BC4-A9DE-4D6B-BF55-CC5DD16D90DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6a5a8514c16b27cd5b5f9310f33915f3161eb75","datavalue":{"value":{"entity-type":"item","numeric-id":4512929,"id":"Q4512929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$774E6079-B253-415C-B0F4-532C990994E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8dc4ce3086ba1a080f6d98da8da13ac17731ba","datavalue":{"value":{"entity-type":"item","numeric-id":2505501,"id":"Q2505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$A1C53358-E43B-4BB6-81B1-9B9F30B52262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fb17c3ec23f7db1652717b13437eb3142a54285","datavalue":{"value":{"entity-type":"item","numeric-id":1024552,"id":"Q1024552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$849D05B2-3DF1-4E9D-8F2C-EF43BABBDBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8be0f7c81004227114f5bee606cc547dbf0099bc","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$9C31146C-FDBA-420B-A122-D93909977511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c573c430e48cd728318c51ec2246b15adb972ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1965268,"id":"Q1965268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$722468DF-DAF0-479E-8983-4970BE48EB79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d868e287255af6f99a2795636871f71d2da1ca1b","datavalue":{"value":{"entity-type":"item","numeric-id":1972417,"id":"Q1972417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$9B280CEA-614B-449C-8C3A-0EEB0A160B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab7dcf2c807529063ba20e80a5df0c16433c019","datavalue":{"value":{"entity-type":"item","numeric-id":971886,"id":"Q971886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$97ED0966-5536-482F-92F3-A839A3AB5843","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":"Q627436$FD74A704-ECEB-4B0D-88FF-5916A3A106D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$BDFC6E30-BABF-4D45-8402-957D0A3AFBD4","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":"Q627436$B54FA3CC-5854-4F16-AAFF-D83C54BC18C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a0d510ff764cfcf3020f9dc2837c771a01579fc","datavalue":{"value":{"entity-type":"item","numeric-id":884950,"id":"Q884950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$A6BDC4D5-39CC-4D0E-8F78-79B4647CB1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2148f50f0a03a5c567ae2ae43602409775e953e8","datavalue":{"value":{"entity-type":"item","numeric-id":2498905,"id":"Q2498905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$904EDCA2-9D6A-4346-A741-F89F0FE22E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe53c5524efdf789e911f95f9350d91c7285f51e","datavalue":{"value":{"entity-type":"item","numeric-id":3411998,"id":"Q3411998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$8E291838-ECEB-4E57-AA9E-8F5C461E117A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135b468882cf6964696e056f695e4b34231607fc","datavalue":{"value":{"entity-type":"item","numeric-id":1111584,"id":"Q1111584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$AB7BEB6B-6E06-4FFF-96F4-119F612B86C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fd1f778c1c98a148644fb20ef783e73dbe402a","datavalue":{"value":{"entity-type":"item","numeric-id":3520229,"id":"Q3520229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q627436$E198256A-6313-4B58-99DC-6FCD917296EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3d00246c676cdfec3e3d079e971b5939dafa6f6","datavalue":{"value":"10.1007/S00153-010-0207-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q627436$16201BBB-37C9-4B41-AAF1-B919B1B150BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2138a81e4faf110097903620f388c4aa31dfd2b8","datavalue":{"value":{"entity-type":"item","numeric-id":1095132,"id":"Q1095132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15bb3ffdd1c9e88596613d2106bb885a5595af56","datavalue":{"value":{"amount":"+0.7993825078010559","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":"Q627436$1CB1880C-2CAC-4472-BE64-9944C505F98C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbd37e023e6b85e924500507973bf86bbb0d9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3484813,"id":"Q3484813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"850365957f20c121dacb52789dc59b4e8af803b6","datavalue":{"value":{"amount":"+0.776231050491333","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":"Q627436$48AE46BD-A0BD-49AE-845C-DBA95A75403A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388c6ad88fb73e7aaf444e11ae3d2f84688cdf62","datavalue":{"value":{"entity-type":"item","numeric-id":3347860,"id":"Q3347860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71c904c96bf8cfef02d939c97608704182fe6d8e","datavalue":{"value":{"amount":"+0.7724872827529907","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":"Q627436$F7786E38-8980-452C-9BD4-54CA61C73E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de6a803a3a4a2e865945fcce92f90469eba3dcf","datavalue":{"value":{"entity-type":"item","numeric-id":3982253,"id":"Q3982253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2075449ab119ff14121f1d2f31580b09d389d038","datavalue":{"value":{"amount":"+0.7717028856277466","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":"Q627436$CCA1C958-9DC2-4BAC-9EC1-E89412BCFEAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d8900bc25f9da05642944098ebb058bbe1e7f6e","datavalue":{"value":{"entity-type":"item","numeric-id":2764677,"id":"Q2764677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbe14b448b40cf45b07844225c8ceab43733cf31","datavalue":{"value":{"amount":"+0.7716876268386841","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":"Q627436$3E016CF5-FFED-4270-9003-A0FE81C709C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness with respect to a chain and universal models in fuzzy logic","badges":[]}}}}}