{"entities":{"Q2752408":{"pageid":2763147,"ns":120,"title":"Item:Q2752408","lastrevid":41971068,"modified":"2025-05-19T22:32:31Z","type":"item","id":"Q2752408","labels":{"en":{"language":"en","value":"Residuation in commutative ordered monoids with minimal zero"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1660924"}},"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":"Q2752408$66BB2D8F-4092-49E4-8680-F6C7074D9D7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cab39f0dc8b60efd651eb1a4a60f564225e2650","datavalue":{"value":"0996.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752408$72147126-F40B-44DB-B152-A3C63BC988FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9b0c80ac4d673f6fb26a155c2b57faf7ef44809d","datavalue":{"value":{"time":"+2002-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2752408$D3795457-0C72-46D3-BF5D-2EBBE07F24B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752408$C70AD55C-6A36-4F06-9A4F-0D9EE32D5377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752408$47B1C84B-EF40-47AE-9717-58900C722076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752408$AB3F3544-CD5D-4B0E-94B5-A7F6AA678919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752408$30E88783-22C7-4CF2-9112-10A80CA289D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3cfac547c27cba830ef8234a86cc1d44de8a0b5e","datavalue":{"value":"1660924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2752408$3E688289-8BC0-42CA-9C19-CF97E43921E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9296888864aaf90742ce8dc17793cfb5986d2f11","datavalue":{"value":"semi-integral residuated commutative monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752408$1578D89C-A876-4E7D-85FE-BB3314FBCB91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0959e06ab7a10171b0b11ec43f18469486e33c78","datavalue":{"value":"sircomonoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752408$9B25F468-5256-44CC-BCB9-F46C2336C587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab84a5320f004948200d788bf58a78ec88de5e68","datavalue":{"value":"BCI-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752408$1F3BA0E7-F6CB-411E-A4EE-83010A241716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9887d8ff9f3daf7d6506758a44de1d59a259edb","datavalue":{"value":"relatively congruence modular","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752408$EF7939DD-CBB8-4EC9-BD7E-6F9B37078DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1909c5698048d2bfd0da35494b681d172e884d54","datavalue":{"value":"local deduction detachment theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752408$C033E070-0DD0-4C94-9BE7-D6B143ECD629","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f59ec64a247e2c1d04696c081228d3e6b4d98b7","datavalue":{"value":"assertional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752408$66E2D9C2-5341-4AB1-BB8B-1F32A1B8F4AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08b4047c45398c9d6e2e30f8fc668807b8fdd458","datavalue":{"value":"quasivariety semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752408$83DBE5C1-E0E1-4D84-9A41-7078CC1A3A19","rank":"normal"}],"P16":[{"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":"Q2752408$6C1604CF-323D-4A35-A06D-7B371DA520D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91b6b698483070eb9571d7e886ea35f2e2f3c341","datavalue":{"value":{"entity-type":"item","numeric-id":1826929,"id":"Q1826929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752408$2F2B4F62-A3A2-45D1-AA66-1BDFF72157FD","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":"Q2752408$254F5D57-0E5B-44EE-A31A-7D54EBC0387B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c194929e1464572c7230f9b8704f980b000e67eb","datavalue":{"value":{"entity-type":"item","numeric-id":5488264,"id":"Q5488264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"500d92ea1b42b6032df84870b7a45d04fa7f28d9","datavalue":{"value":{"amount":"+0.9358362","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752408$BDBC4BC5-404D-4E03-A857-BB3C502B6007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62bb35f089d0e50cbd7d36aad8412e372f68444f","datavalue":{"value":{"entity-type":"item","numeric-id":4836218,"id":"Q4836218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4f3192ff461b164d8386c99e207b613994934f1","datavalue":{"value":{"amount":"+0.9036869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752408$83DED21A-2923-4D5A-8C4C-4A015E7A11E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258292aaa2ff9e07882d2eb6a6ab2e83457537bd","datavalue":{"value":{"entity-type":"item","numeric-id":5301323,"id":"Q5301323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e5d3a18b5668d360160ff1e486bf9802abea6d3","datavalue":{"value":{"amount":"+0.8926526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752408$85902F80-6C39-43E8-B5F7-9094ECA1FAAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c984fa67c2a2dffde1d1f1e35da3721201c00468","datavalue":{"value":{"entity-type":"item","numeric-id":5931528,"id":"Q5931528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb6df54f8a3aad0409032f08bdb3608c5d0036d1","datavalue":{"value":{"amount":"+0.8883412","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752408$EF615695-BDAC-48E8-870B-6F35120EA5DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3f657b6e35a9fcb5f3d0266f26b81766df09aa6","datavalue":{"value":{"entity-type":"item","numeric-id":943381,"id":"Q943381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0bc0e4661a15ca26e10cb8ff7e1bef594b1997f","datavalue":{"value":{"amount":"+0.888049","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752408$33D51843-CA6B-4BBC-B544-F93C6AA686F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0490a263f5ec7975a38b2763c0a5cfa394a16efd","datavalue":{"value":{"entity-type":"item","numeric-id":633189,"id":"Q633189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c2e5408feab51bd5647685c04f4ca48b429ff67","datavalue":{"value":{"amount":"+0.88690114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752408$40AA6187-1CDC-40C9-84E2-8E5556972D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f22bb873edc76aa8fc3076f8371d6ccb53df9e","datavalue":{"value":{"entity-type":"item","numeric-id":2744596,"id":"Q2744596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6789347145915d98d1431e5a4efc68f51f0b0a","datavalue":{"value":{"amount":"+0.8833327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752408$0854AC86-E974-4532-83C9-C6026773E7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1660f94d627e3cc2cdd22effc71ceb1067660f34","datavalue":{"value":{"entity-type":"item","numeric-id":1406863,"id":"Q1406863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"781f5cb685be3fb9d4165aa75f973ddf95dd7489","datavalue":{"value":{"amount":"+0.88313526","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752408$95DE54C5-505B-4C44-BE10-BA7C5E890A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b92c3cdd80f7b45b26f17837ccb375ad0b5974","datavalue":{"value":{"entity-type":"item","numeric-id":3083180,"id":"Q3083180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46f8fa3613541fa99cf241e7a81a117879608cb5","datavalue":{"value":{"amount":"+0.8826755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752408$EFDD0DB3-6B3C-4D64-AFCC-C8B64EEC6A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac24c451af084b1a603301122a83ca7f12fc1184","datavalue":{"value":{"entity-type":"item","numeric-id":5037599,"id":"Q5037599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04c3daa02605a417e81799ec6a3378fa04be9794","datavalue":{"value":{"amount":"+0.87989664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2752408$ED668E02-D936-478D-9E98-AA1FE909277C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d1ed145173a05409231dc540c18a008245a275e","datavalue":{"value":{"text":"Residuation in commutative ordered monoids with minimal zero","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2752408$0B6992C6-8678-4112-BEFD-AF14CBB7A6F3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a0d78bb1ba0b96c6ee7b4ed752efc00bcce9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4609352,"id":"Q4609352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752408$90FC10DD-FBF2-4F48-9E6B-96C2FCDCFB47","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b2e0feca77c5ab8413dec5026873b7626e3a0fe2","datavalue":{"value":"The authors define a new algebraic system called semi-integral residuated commutative monoid (sircomonoid). An algebra \\(B= \\langle B;\\oplus,\\mathop{\\dot-},0\\rangle\\) of type \\(\\langle 2,2,0\\rangle\\) is called a sircomonoid if it satisfies that for \\(a,b,c\\in B\\), (i) \\(\\langle B;\\oplus,0\\rangle\\) is a commutative monoid; (ii) the relation \\(\\leq\\) defined by \\(a\\leq b\\) iff \\(a\\mathop{\\dot-} b=0\\) is a partial order of \\(B\\); (iii) \\(a\\mathop{\\dot-} b\\leq c\\) iff \\(a\\leq c\\oplus b\\); (iv) \\(a\\leq 0\\) implies that \\(a= 0\\).NEWLINENEWLINENEWLINEThey consider fundamental properties of these algebras:NEWLINENEWLINENEWLINE1. Every BCI-algebra is a subalgebra of the reduct \\(\\langle B;\\mathop{\\dot-},0\\rangle\\) of a sircomonoid \\(B= \\langle B;\\oplus,\\mathop{\\dot-},0\\rangle\\). Thus BCI-algebras are exactly the residuation subreducts of sircomonoids;NEWLINENEWLINENEWLINE2. The class \\({\\mathbf S}{\\mathbf I}{\\mathbf R}{\\mathbf C}{\\mathbf O}{\\mathbf M}\\) of all sircomonoids and the class \\({\\mathbf B}{\\mathbf C}{\\mathbf I}{\\mathbf A}\\) of all BCI-algebras are relatively congruence modular systems;NEWLINENEWLINENEWLINE3. \\({\\mathbf S}{\\mathbf I}{\\mathbf R}{\\mathbf C}{\\mathbf O}{\\mathbf M}\\) has \\(2^{\\aleph_0}\\) subvarieties;NEWLINENEWLINENEWLINE4. \\({\\mathbf B}{\\mathbf C}{\\mathbf I}{\\mathbf P}\\) has a local deduction detachment theorem, where \\({\\mathbf B}{\\mathbf C}{\\mathbf I}{\\mathbf P}\\) means an assertional logic of \\({\\mathbf B}{\\mathbf C}{\\mathbf I}{\\mathbf A}\\), that is, a deductive system which has \\({\\mathbf B}{\\mathbf C}{\\mathbf I}{\\mathbf A}\\) as an equivalent quasivariety semantics.NEWLINENEWLINENEWLINEThis paper is very interesting and valuable to the progress of algebraic logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2752408$B852A2AF-B4C5-4A5E-B9CB-6F3EE2D18886","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"fef49cf07248ee3df4000a1a71cf1884173cc9aa","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2752408$A0D136A9-B92B-4930-AA3C-20CDE6BDEA0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2752408","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2752408"}}}}}