{"entities":{"Q995381":{"pageid":997229,"ns":120,"title":"Item:Q995381","lastrevid":50155814,"modified":"2026-01-13T07:14:06Z","type":"item","id":"Q995381","labels":{"en":{"language":"en","value":"Positive Sugihara monoids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5186252"}},"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":"Q995381$CD66447C-30FE-4356-80A5-448E1914146D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d89b755de842d088246339a92f15982006fda1a3","datavalue":{"value":{"text":"Positive Sugihara monoids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q995381$C455CDC1-DCBB-4C32-A78B-036F2AA32F8D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01b16b154abb8988673a7c74d3ed75efaadf0786","datavalue":{"value":"1128.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995381$1CBD0C3B-253D-4287-B598-DD9D6266806A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d300ad16e44671d0419b719ff79c4b565973538a","datavalue":{"value":{"entity-type":"item","numeric-id":466875,"id":"Q466875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995381$1F5422D5-25D4-4144-869E-F51B9570F88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b7351c665d8ce77351eed18ff10ea849a82e757","datavalue":{"value":{"entity-type":"item","numeric-id":995380,"id":"Q995380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995381$10BE217E-2069-4F66-A4C1-E4512225376E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995381$948DF65D-C3E5-4D98-8692-25724F173D81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q995381$E2B5F3CA-BEEF-4049-B232-F3FA4CF3489C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e21d23e10c83bd81fd33820c0d543142a32d8c11","datavalue":{"value":"Sugihara monoids are the distributive lattice-ordered commutative idempotent monoids that are residuated and have an involution operator; they form the equivalent algebraic semantics for the relevance logic \\(\\mathbf{RM}^t\\). Positive Sugihara monoids are the residuated lattice-ordered monoids without involution that can be embedded into Sugihara monoids. Such algebras form a variety \\(\\mathsf {PSM}\\), which is the equivalent algebraic semantics of the full negation-free fragment of \\(\\mathbf{RM}^t\\). The main result states that \\(\\mathsf{PSM}\\) is primitive, meaning that every subquasivariety is a variety, and therefore \\(\\mathsf{PSM}\\) is structurally complete. This implies that the full negation-free fragment of \\(\\mathbf{RM}^t\\) is hereditarily structurally complete. In contrast, the variety of Sugihara monoids, hence also \\(\\mathbf{RM}^t\\), is structurally incomplete, revealing negation to be the sole cause of this.","type":"string"},"datatype":"string"},"type":"statement","id":"Q995381$57B4F6BE-2DE1-43E5-AFA0-239F382DE226","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995381$D57A1606-F47B-4DF4-9731-1E8F6286D7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995381$1F16608D-B76B-4AF6-B461-B01267AC0F5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995381$C8B120AB-05E1-4682-B862-C064F3887375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995381$29E5F4E4-6ACD-436F-BA52-0886EB5E9CBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f55bb420a0c6f47faf3262784706c484a1374a78","datavalue":{"value":"5186252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995381$8CE011D8-8C69-4228-AF2A-8B5D9B7DFE50","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98a6d23e6dedf247d44051611978feaaec2e022","datavalue":{"value":"residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q995381$D6BF914B-C60C-4786-B9CA-759B37B4F8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8401618ea8f02882b504b4b79ef352afce84292","datavalue":{"value":"Sugihara monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q995381$5EF0A6BF-A357-4128-B53E-358EF79B95EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"548bc79ce362c691471fdce748b63aafcb850b45","datavalue":{"value":"structural completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q995381$02789416-A90B-4FC5-8AB8-5BE15BAAA963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd9ec7c5955db02217d6c6e5b8a99256ce44732e","datavalue":{"value":"primitive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q995381$9D723E74-925D-4697-9297-D9BDA64C9488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"628476f9869be121925e8542fcba4f509dc61fc3","datavalue":{"value":"deductive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q995381$C688E6F2-9ABC-463F-AD97-4AD1E680D022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50328b331aa4cde61eb0cba86d225c9cec8ba382","datavalue":{"value":"retract","type":"string"},"datatype":"string"},"type":"statement","id":"Q995381$BAC14362-F471-4FE2-BA0E-D3BF43E05141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8371d34a787921a2e8ee7705d9b4d5d66b6b8bd8","datavalue":{"value":"projective","type":"string"},"datatype":"string"},"type":"statement","id":"Q995381$2AF755CA-8B8A-47F0-9C77-4BD8752096FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q995381$75D0E691-71EB-4CFA-9585-F031BC3B5FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a81fe31a0b0b33ad580c15f90c177a0215e363","datavalue":{"value":"mingle","type":"string"},"datatype":"string"},"type":"statement","id":"Q995381$FED8F7E7-CDF0-4D55-821C-0F54879A3983","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"84f1771ef45d72229350ba93c0c28a701d31bb94","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q995381$C6CA6341-90C4-4960-91C8-CA19AB217BED","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":"Q995381$27F66D58-5BF4-4747-9685-E39AB66D68D0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7bfa7045ec22d5378c2c4838e74d916d7303d4b4","datavalue":{"value":"https://doi.org/10.1007/s00012-007-2022-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q995381$9381436A-F975-4B71-A685-C264AE7604F4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a2ecc46d76ae0ef537144728e4d86cfa3ded8de1","datavalue":{"value":"W1984616877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995381$2DF9438C-9DB4-4F82-9BE6-179846E4DEEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"432d1a34181c7808f566f15ab91ae5a721af092f","datavalue":{"value":"10.1007/S00012-007-2022-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q995381$1F09A3EA-67F0-46D9-A5B0-CFDA6E7D13A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f3dfc3ee6172b193a209a8ca9be65892835065","datavalue":{"value":{"entity-type":"item","numeric-id":5246960,"id":"Q5246960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3e226e193389883264c601bdc41634a7971f70c","datavalue":{"value":{"amount":"+0.7908538579940796","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":"Q995381$455C3A2E-FFF6-4C21-94B2-6355CFF0034F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f27886b2c1c4f2d27a76f2fb28bda7b3fef1f195","datavalue":{"value":{"entity-type":"item","numeric-id":1802378,"id":"Q1802378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e61b2a9876d47231038d62bbcf0171ffbc3c83e","datavalue":{"value":{"amount":"+0.7670436501502991","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":"Q995381$0B90E461-7261-4019-964D-68B62A0C9858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a043a492580b2f6ee6c3ab319570c26409b295","datavalue":{"value":{"entity-type":"item","numeric-id":3006000,"id":"Q3006000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfee2920e2c43248ab37e5b47e033f5d2a21a65","datavalue":{"value":{"amount":"+0.7670435309410095","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":"Q995381$B9B58579-D0F8-48F6-9562-7E21BFEC66E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bdce4dabbf5a08cfd05ca3f74a2da6142b678850","datavalue":{"value":{"entity-type":"item","numeric-id":1934971,"id":"Q1934971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36ffe820b1017117a44ce1c94d494e1a9edfc504","datavalue":{"value":{"amount":"+0.7604191899299622","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":"Q995381$AD9B0CAA-C444-488D-B887-700E3757CDF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a7b5fc387fe2a678f7f377859f10f8652ace47","datavalue":{"value":{"entity-type":"item","numeric-id":1821123,"id":"Q1821123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"816e7e14e9969acda0d5cd6dd0177fdce4f999dd","datavalue":{"value":{"amount":"+0.7503594756126404","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":"Q995381$3ACF9616-65CE-4693-91FA-2F340821D123","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:995381","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:995381"}}}}}