{"entities":{"Q2337882":{"pageid":2348625,"ns":120,"title":"Item:Q2337882","lastrevid":57517200,"modified":"2026-03-31T06:04:14Z","type":"item","id":"Q2337882","labels":{"en":{"language":"en","value":"Logics for finite \\(\\mathbf{UL}\\) and \\(\\mathbf{IUL}\\)-algebras are substructural fuzzy logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7133896"}},"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":"Q2337882$90DE82E1-D2A7-4BAC-8015-A70DBC952C5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4cdd310aaa9b94c746d4c5320d79b4387976d953","datavalue":{"value":{"text":"Logics for finite \\(\\mathbf{UL}\\) and \\(\\mathbf{IUL}\\)-algebras are substructural fuzzy logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2337882$527E7AB9-E0D5-4A14-A8B0-63213F3B98CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b37f89f767fb665a5461c118935ae9edcfb158d3","datavalue":{"value":"1425.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337882$E6E7C8F1-9E8A-4884-9F73-C91CAECC7673","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"536de48637c235d08fe3e176612e997aba7a2c18","datavalue":{"value":{"entity-type":"item","numeric-id":83462,"id":"Q83462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$718D9CE2-00BF-4F88-A83C-B9CFE7F7535A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d288236ae88f14a580eb60644cb4af1d4accf45","datavalue":{"value":{"time":"+2019-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2337882$28AF8E90-70BC-4D36-B5F1-D3F14A169F1E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d233aec0eccbd97e6953d8853009af128f64d361","datavalue":{"value":"Summary: Semilinear substructural logics \\(\\mathbf{UL}_\\omega\\) and \\(\\mathbf{IUL}_\\omega\\) are logics for finite \\(\\mathbf{UL}\\) and \\(\\mathbf{IUL}\\)-algebras, respectively. In this paper, the standard completeness of \\(\\mathbf{UL}_\\omega\\) and \\(\\mathbf{IUL}_\\omega\\) is proven by the method developed by Jenei, Montagna, Esteva, Gispert, Godo, and Wang. This shows that \\(\\mathbf{UL}_\\omega\\) and \\(\\mathbf{IUL}_\\omega\\) are substructural fuzzy logics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337882$58C70484-6972-4BF7-9B0C-7783B768291C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337882$84555981-BA96-4FD8-B2DA-CEC594BF653E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337882$EC4217C4-8F5A-401C-823E-752CDD464718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337882$B661A664-BC0C-4E3A-8815-230F32A7C68B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f1ccfb3ab017f1af058710d59e96e2c935320f09","datavalue":{"value":"7133896","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337882$004A65B7-CDB5-4616-8DC5-66D1830742D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33f2b97e27c40f6fe3651c7eddbdff83022d0f72","datavalue":{"value":"substructural fuzzy logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337882$2AD92BF6-2FED-424C-9CD1-552197E5CDD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"872e4a50f524a853d7093b2872ea866d3349bf61","datavalue":{"value":"residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337882$7743BB10-E6EC-4FAD-AB20-E60E1A3E46F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b855c7e6cf6783b3e136fa87208ef32f4ff7","datavalue":{"value":"semilinear substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337882$3A6932D0-FA6D-4980-91F3-933339A562D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d84b385a1fdb49956580fe68f3fd28810f7cb231","datavalue":{"value":"standard completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337882$D786F3D2-3253-40FE-9194-00EEFFB0A3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2337882$C0A34991-821E-474C-B313-828E6A50D375","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2459b450f50ff9420f376ca6123d67dedc99c346","datavalue":{"value":{"entity-type":"item","numeric-id":412070,"id":"Q412070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$3408020A-D76B-4CAF-B4A5-9B0161A57B18","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":"Q2337882$3D66D347-7428-4730-9918-976464BC529B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cd6e7290036f64e203389c2545c51650976e9d6a","datavalue":{"value":"https://doi.org/10.3390/sym10120755","type":"string"},"datatype":"url"},"type":"statement","id":"Q2337882$4A9808DE-525D-4AF2-9654-AAAEB8AD68E0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3270666d3caba1216625fd4c2c4c448e9c34fe60","datavalue":{"value":"W2904384467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337882$69646F04-963E-4045-BAC6-17DC7CFE44B2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3424e851d9c11e2f8c7d5026ea95777139ac993","datavalue":{"value":{"entity-type":"item","numeric-id":1991589,"id":"Q1991589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$EFE13EF2-7F73-4DE2-8E16-6A2D01704C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2717456cdf605284613175fd5dc8bad7843cf2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$735D0249-5A18-4D8B-BB84-694757ACA084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b573b4d85de632d5273b87a25efc67e3f96d7e","datavalue":{"value":{"entity-type":"item","numeric-id":2450646,"id":"Q2450646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$82ABDC8A-E061-49C4-BA8B-95179925E4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85d15b281639a533f93923258f76c1790cae10de","datavalue":{"value":{"entity-type":"item","numeric-id":2519539,"id":"Q2519539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$5FEE2599-B95E-4B48-A866-68CF62470678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10c7441f14cd80867272d212ce0f09fd35cbd33f","datavalue":{"value":{"entity-type":"item","numeric-id":695273,"id":"Q695273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$38BA5FB5-5974-4C27-A3A0-B4B5E7CF30E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11d12abfae0606d4328f96e653eed2c6b54d3080","datavalue":{"value":{"entity-type":"item","numeric-id":2450645,"id":"Q2450645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$A312F941-DDD5-4CCC-A253-CE8598FDA3DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$190F6070-006A-4238-BDE6-7265D15F7AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acc8675845e1374ddcb2d21ec124a48fdbda5","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$207F85A8-BBCA-4DA9-A1E2-EEF96E0CD600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"237a7ac56840c253532f0d972b8b68475ef82c7e","datavalue":{"value":{"entity-type":"item","numeric-id":1677042,"id":"Q1677042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$BCF04D76-091C-417E-93A0-615C9778BED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d933e9d249670b980e4608bd61373d392c587bc","datavalue":{"value":{"entity-type":"item","numeric-id":679802,"id":"Q679802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$9975AB6B-77C9-4C21-82E1-5911D92F2007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c01660b62d5ec673439a0cad91f62807c56f4f08","datavalue":{"value":{"entity-type":"item","numeric-id":1697513,"id":"Q1697513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$7C376254-8D35-4A59-B31F-E07B7327C2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab0ee1966cf1948e50fc6b614c7361d630496bd","datavalue":{"value":{"entity-type":"item","numeric-id":498620,"id":"Q498620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$1A08434B-6346-4607-8413-0A30448D3AC5","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":"Q2337882$01A9FE24-6C27-49D6-BC57-1584B3C49CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49020376ebc2403c8d1c10f59f0f873443df37f6","datavalue":{"value":{"entity-type":"item","numeric-id":1166390,"id":"Q1166390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$7888D048-4F0A-41B9-B746-2F4CFB26BD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"654dbd1de9326477d6fa4fbf8888a0cde69a3476","datavalue":{"value":{"entity-type":"item","numeric-id":1357149,"id":"Q1357149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$AD187D93-48C0-4CE8-A9CF-1C0A2351301C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a688d191d29292da24e49bce61b09bc9f9f54925","datavalue":{"value":{"entity-type":"item","numeric-id":971883,"id":"Q971883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$03F9C1CD-7AE7-4215-BA84-EA62F8C831A1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac6fb327f59db26f81b60c04563f6fe2631430a1","datavalue":{"value":"Q128735355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337882$4DB05C88-AA6F-4FF3-A62B-26AF414A9FB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6aac1bcb52323e2cc08358248a15407695148761","datavalue":{"value":"10.3390/SYM10120755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2337882$CF0F429C-7291-419B-A8B7-480360477B32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"167c4baa075be7b5fa33cb2144c2ee1946511ba0","datavalue":{"value":{"entity-type":"item","numeric-id":1991589,"id":"Q1991589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48beedc7b918ad261af3c5249e37f5567558d7bf","datavalue":{"value":{"amount":"+0.8657017946243286","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":"Q2337882$A147663A-4296-48E6-88F4-77D05207CA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607694c2c7ba9e6b6a10d7f07e298a96a7397718","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838a0ff0fae407692b87aa4eb72fb7af5cc8777b","datavalue":{"value":{"amount":"+0.8093436360359192","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":"Q2337882$C238DDFE-4495-48B5-8F93-CBBC41FDBDA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fafdbfe79ef03d1600cf843c08c8462f18a3a56f","datavalue":{"value":{"entity-type":"item","numeric-id":679802,"id":"Q679802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f36a1bf2d9c514259ed38480e77ffe830c7898a0","datavalue":{"value":{"amount":"+0.7899928689002991","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":"Q2337882$76DE72E9-C6C4-4019-9FC8-FA52EF1B1902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5aeed1d5931f35451b0dbf7e3a39ebe89ca03456","datavalue":{"value":{"entity-type":"item","numeric-id":5422306,"id":"Q5422306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122916a8802c02e8dfd363705d3fa831425fd157","datavalue":{"value":{"amount":"+0.7800773978233337","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":"Q2337882$CA2C4113-1A8F-4687-A7B7-B61027CD6F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c46885de638958bd90983c7cd839e5b53f09da5","datavalue":{"value":{"entity-type":"item","numeric-id":1407529,"id":"Q1407529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a007d1cc04a17c5e8d63d92b822940c6bda1ba18","datavalue":{"value":{"amount":"+0.7765241265296936","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":"Q2337882$897377CB-77AC-4DBB-9E6F-CF72D507C462","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2337882$60DA084F-37FF-4FED-A510-DFE8E2122176","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2337882","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2337882"}}}}}