{"entities":{"Q1935561":{"pageid":1946303,"ns":120,"title":"Item:Q1935561","lastrevid":71179128,"modified":"2026-04-13T20:04:08Z","type":"item","id":"Q1935561","labels":{"en":{"language":"en","value":"Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6136999"}},"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":"Q1935561$25ED39A7-FC7C-4799-A80B-24402B65E955","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e48f9a0522c719b7e0fdb75b1222454e06667e32","datavalue":{"value":{"text":"Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1935561$28DB43D5-01BB-4D8A-845C-4B80F8D8BE96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c121d63f78dc7231065007aa3b3fd7f1862896b","datavalue":{"value":"1273.03178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935561$3C97BD8E-7154-435B-A0CD-EB04349E2CE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"644a99adb6490d634f52253785ce0bcbcf928977","datavalue":{"value":{"entity-type":"item","numeric-id":592420,"id":"Q592420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$45858E84-2595-4604-9166-CCF70CB5D900","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$C9E21701-865A-47A7-9A96-85F6E5EF1877","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e6580e539cd642ecce5788629c9cdef04a318cad","datavalue":{"value":{"time":"+2013-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1935561$E9D2F962-2FC0-4C84-83AA-20A6463E1AA2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0eb2724dcfb6f3e3e44422fb738e9350a732e887","datavalue":{"value":"A bounded weak-commutative residuated lattice with an S4-like modal operator (BRL\\(_O^w\\) for short) is a bounded residuated lattice with an S4-like modal operator satisfying the weak-commutativity condition: \\((x\\wedge 1)^k=y(x\\wedge 1)^k\\) for some \\(n\\in{\\mathbb N}\\).  In the paper under review, the author investigates the properties of semisimple and discriminator varieties of BRL\\(_O^w\\), showing that a semisimple variety of BRL\\(_O^w\\) is a discriminator variety.  In the main result, a special condition (P) is given such that, for a variety \\({\\mathcal V}\\) of BRL\\(_O^w\\), the following are equivalent: {\\parindent=6mm \\begin{itemize}\\item[1.] \\({\\mathcal V}\\) satisfies (P);\\item[2.] \\({\\mathcal V}\\) is a semisimple variety; \\item[3.] \\({\\mathcal V}\\) is a discriminator variety.   \\end{itemize}} As a consequence, this result is valid for the varieties of the class of commutative residuated lattices with an S4-like modal operator. The particular results are obtained for the case of the varieties of FL\\(_e\\)-algebras and FL\\(_{ew}\\)-algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935561$86BA9CFF-E676-4B5A-A24F-358170D35558","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"39d03bc5e4b5d8bfd4455ed0ba4cd34fb8b2de21","datavalue":{"value":{"entity-type":"item","numeric-id":344088,"id":"Q344088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$8B2FDDCA-B371-42DE-9995-48A4E3A4542F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935561$C597EE14-0E83-4FD6-A1CA-E540EE1110BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935561$8BACABEC-BC2C-412A-929E-C707C18E78D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935561$0E71773A-6CE5-4E78-ACF7-CEE23BADDB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935561$9177D2C9-F657-4B6A-9BBE-87FF03849F59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a7cae5226a0094f2bc71948562c1449f8197946","datavalue":{"value":"6136999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935561$E1FBA3F2-96E9-465A-9FDA-F1683021AA35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935561$7E2A82F5-DB29-4A8D-9348-2B0D559C9E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935561$B052C956-043E-41B7-95C4-ADC7C28FD772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c6dd1981b07a4c4fb58bb4b18036831c634f9b9","datavalue":{"value":"discriminator variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935561$98C407D3-1EAA-40DE-9AC2-0E50DBC2F4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b2739410e37e51ca9b92328d4b51b62653a5c21","datavalue":{"value":"semisimple variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935561$0318E3B7-BF17-4F29-A4A5-FBF68F9E0334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eca3ed74074ff623c75b478d00378be707b4865","datavalue":{"value":"EDPC","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935561$2F11359C-4CCC-4C51-B256-5C8AED72680A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903d77a8b8e95b831a53516da7b0d0976d79bc51","datavalue":{"value":"equational definable principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1935561$0E31FD25-3B5A-41BE-A0B4-699784B85E67","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":"Q1935561$8791ABE6-4EB2-49AA-9336-7DAA17A7FEA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9cfd93dffeda863275759d31d80289eff4a641e7","datavalue":{"value":"https://doi.org/10.1007/s11225-012-9460-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q1935561$6C985B62-3A6D-418E-8D7C-965A47569C6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0aebfa750ebd0e44ebb384ec0ed200ea86c81fcf","datavalue":{"value":"W2071594204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935561$B78EE4EC-DE86-4CD5-90EE-DDCDEEB57CAA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef350ead7090cd66027dea6c9a11f206e833f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1839272,"id":"Q1839272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$00CADC46-32E7-4D8F-AED0-C68E2714CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0c4babbc44de71274f0ee7b587bc3d6c54bcb0","datavalue":{"value":{"entity-type":"item","numeric-id":762523,"id":"Q762523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$7820DFA0-210A-43DE-BAFC-DBAEAECCD0A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b20004731eb077d1c8cedefc247638148aff988","datavalue":{"value":{"entity-type":"item","numeric-id":1342132,"id":"Q1342132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$267EE6BD-6CB8-4B17-A169-73DF4A94328B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18bac9430be97bc460d07840e514124efb4a3a9c","datavalue":{"value":{"entity-type":"item","numeric-id":1315322,"id":"Q1315322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$FC870B1C-44D3-412E-9B61-41798A5BB27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cd83a0e0c158e73a35d24382dd524323f3a8f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3043517,"id":"Q3043517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$D499DBED-A8DA-4670-8913-627B8EFA39B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48451130fa325b4302f0c1189496cfa710a55098","datavalue":{"value":{"entity-type":"item","numeric-id":2577691,"id":"Q2577691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$2E0F229F-8946-4FA0-8BE8-EF2350A701FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$B70912DC-BF37-4859-A177-D1F5F30C0C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"087714ca80c56c02e7d026d3d2cb35260a5ab56d","datavalue":{"value":{"entity-type":"item","numeric-id":1770976,"id":"Q1770976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$87D607F1-CFA2-4F11-80CD-881B13F6A76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e0ddeec7fa1bcc404c7111a14d2372b1c5c10ad","datavalue":{"value":{"entity-type":"item","numeric-id":2433105,"id":"Q2433105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$2296A099-FFA7-422B-B5DB-BF05F6BB2655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7a20ee09fbabbabf116e7e1f5072f3916a8a6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2752409,"id":"Q2752409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$E2ED4B23-790F-4E8C-B677-CF92D8623D16","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":"Q1935561$413F5BC2-8A82-4928-B29E-4FCFB5FD8163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"184ff787d89358e756915eedbf9cea46d617a66e","datavalue":{"value":{"entity-type":"item","numeric-id":3509068,"id":"Q3509068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$28B2D349-A2DE-41F5-997A-567AD715D5E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da04a32e468ce4867ec594afa1765b999c151299","datavalue":{"value":{"entity-type":"item","numeric-id":4152589,"id":"Q4152589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1935561$3DBE7900-9ACF-4092-909B-32500228E43F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d9cd559d03b1a75b77c84c30b8e94d46cbd4966","datavalue":{"value":"10.1007/S11225-012-9460-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1935561$42B4AD78-06D7-49B8-93BF-7AE5EF0F2E8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2dad44b36992b8b4ce3666b1d7179340b139c13","datavalue":{"value":{"entity-type":"item","numeric-id":1770976,"id":"Q1770976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffeb3efea0e076fe8668e9b1a0692c6d26e4b211","datavalue":{"value":{"amount":"+0.8616132736206055","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":"Q1935561$8B657D91-B2C4-488E-9810-4342B8D6B637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a40528c39ac10e8c450ac3c5a1f185a92b0b7e2c","datavalue":{"value":{"entity-type":"item","numeric-id":332072,"id":"Q332072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6550d0c5216c1c133d4b1d1c76dd62b1db35ab8d","datavalue":{"value":{"amount":"+0.8310556411743164","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":"Q1935561$DFD1101C-DE04-4144-97D6-2D869844BE5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"475a54782fd184240cfa30ec4a4840c8d09d51dd","datavalue":{"value":{"entity-type":"item","numeric-id":2433105,"id":"Q2433105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d41ea470a8d04e900bb2becebf9e560997d25a66","datavalue":{"value":{"amount":"+0.808144748210907","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":"Q1935561$F56B967E-4231-4CF9-BC3A-5C3A01BD80A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e6520075e23a7afc2acbdb6468eb5ae623bd854","datavalue":{"value":{"entity-type":"item","numeric-id":992009,"id":"Q992009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec6580761dad9d54d0cf04447b7c5cd5e8fc7cd4","datavalue":{"value":{"amount":"+0.8029840588569641","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":"Q1935561$0F170498-50BD-48BA-9A56-726B814753FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52fa5879dd0a25f9641837990dadfd8c2d21b19b","datavalue":{"value":{"entity-type":"item","numeric-id":3083211,"id":"Q3083211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b926592817d2d8d74d59f2250c6c8c359838f226","datavalue":{"value":{"amount":"+0.7800605297088623","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":"Q1935561$C0F301C1-B924-4A94-A395-57B18760391B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Semisimplicity,_EDPC_and_discriminator_varieties_of_bounded_weak-commutative_residuated_lattices_with_an_S4-like_modal_operator"}}}}}