{"entities":{"Q1407607":{"pageid":1418347,"ns":120,"title":"Item:Q1407607","lastrevid":67372605,"modified":"2026-04-12T17:11:22Z","type":"item","id":"Q1407607","labels":{"en":{"language":"en","value":"On the structure of rotation-invariant semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1982529"}},"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":"Q1407607$1378CC3B-94A3-491B-8F93-2C102BCDE59A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8ebfc2ef52cbc046531d816e417aad346b794df2","datavalue":{"value":{"text":"On the structure of rotation-invariant semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1407607$F74C0D09-B7B3-47D6-A25E-166A782DA429","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b70427722ae4776b0f2eac628d8aafb20ab842a7","datavalue":{"value":"1028.06009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407607$4D86765A-6CE3-47C4-8B7A-3B6563289EC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8d815c5366d332142d135a121f53c308836993c","datavalue":{"value":{"entity-type":"item","numeric-id":365670,"id":"Q365670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407607$1AB9863D-F4BD-4D98-85B0-3A87200DB90E","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":"Q1407607$6EF86435-982F-40C4-8CF3-5759B7876898","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7841ad7b9ae7c226290004bcfbbaa03cb759e96","datavalue":{"value":{"time":"+2003-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1407607$A1CEC683-DCA7-4ED7-A22A-DE62A213FE36","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"eb998dbb064f93b91b087981a2444dd9217f57d7","datavalue":{"value":"A partially ordered set \\((M,\\leq)\\) together with a binary operation \\(*\\) and an involution \\('\\) (i.e., an antitone bijection of \\(M\\) onto itself) is said to have the rotation invariance property with respect to \\('\\) if \\(x*y\\leq z\\Leftrightarrow y*z'\\leq x'\\) for all \\(x,y,z\\in M\\). It follows that \\((M,*,\\leq)\\) is right and left residuated. This concept generalizes the notions of Girard monoid and MV-algebra and is studied, in particular, in the case where \\((M,*,\\leq)\\) is a partially ordered semigroup. Several conclusions from the axioms are made and integrality of Girard monoids and divisibility of MV-algebras are deduced. Based on a geometrical characterization several construction methods for rotation invariant semigroups are presented. The motivation for investigating these algebraic structures comes from nonclassical logics such as: full Lambek calculus (with exchange or weakening), fuzzy logics, monoidal propositional calculus, and affine linear logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407607$297B5D93-2DB6-4574-8C27-3DE970157184","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407607$C28FFAE7-94C0-4F7F-9663-C87D9098256B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407607$97328471-A386-46D7-8DAC-B348DADDFAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407607$0DE6F621-0086-4503-9E31-1183485D343E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8fd5eed4cf9b1082185110dde6add20aa2a7365c","datavalue":{"value":"1982529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407607$B9B67895-2014-44C7-98D9-9D1FA7CA9AB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c84a37522c4b2348089fa82eb7fe34d36063351","datavalue":{"value":"involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407607$705AAB3C-8A81-4905-9C0C-2DAEF48F4026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c99168dd3735a3974836773bbc8de47440e44b96","datavalue":{"value":"rotation invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407607$965D838B-14F3-447C-83CF-F60759B4FF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0fd0ef3a55cbb7a416fdaad3e95d8ae25e6d8ef","datavalue":{"value":"partially ordered semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407607$16A79DFE-0E65-4CDD-A14C-0834DFB0C7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03b24089abe84ac199ecf2c76646cf5a3ba29c3f","datavalue":{"value":"Girard monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407607$B8F17FEE-2577-4C7B-B150-CDF035C30271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77e22550cc18e7160ad098e549c7dc18559bb98a","datavalue":{"value":"MV-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1407607$2ACF8A8D-EA99-4872-8434-248DBCED70D3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1407607$3D41769F-8C1F-4727-8505-7DF573FE3CAC","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":"Q1407607$521C1000-9E58-4B1E-89A0-6D6CFC796D9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9096be85fbb9944cb160f9417486c85cc626a46a","datavalue":{"value":"https://doi.org/10.1007/s00153-003-0182-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1407607$0CA47FC6-73DF-4814-B899-C39A07FC49BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"176badfc4e502fb4f3f4a27f1ec1c0d5aad5b191","datavalue":{"value":"W1992148376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407607$AC51C631-D1CE-4B57-A6D2-6497A707154C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"377ba49cc7c737ace2eb708c3e0eb6426ed84a57","datavalue":{"value":"10.1007/S00153-003-0182-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1407607$464F6E10-B985-4327-A905-B9990B072462","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d1942b5a862b01a963c066ff8d74381001b113f","datavalue":{"value":{"entity-type":"item","numeric-id":2839091,"id":"Q2839091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d17bb6353f6e834b79c3922890116fad99ae78d","datavalue":{"value":{"amount":"+0.7408589124679565","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":"Q1407607$A09A0320-0E46-4A97-871D-01CE323F0073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cb511a06c560fce53e24a2278f3400275307f8","datavalue":{"value":{"entity-type":"item","numeric-id":279424,"id":"Q279424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e839c4637d4a2ed38556e8cf30800f3558ce4d7","datavalue":{"value":{"amount":"+0.7301145195960999","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":"Q1407607$931DFAEE-FF99-4670-BC50-2BF3475A1D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dd150e3235c4569a32b9b3e03c15c7c04af99a","datavalue":{"value":{"entity-type":"item","numeric-id":5213394,"id":"Q5213394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"808c0d4deeb41e0695b3f244f89d2476abd3c25e","datavalue":{"value":{"amount":"+0.7290154099464417","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":"Q1407607$C4D974EC-C7AC-4879-984E-9D14930F3348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1a6362b3fe0773bfd60faff8dbc3bc1453b907","datavalue":{"value":{"entity-type":"item","numeric-id":2737562,"id":"Q2737562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e801a7afceec914747c80dc265973e8d69d61dd6","datavalue":{"value":{"amount":"+0.7204524278640747","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":"Q1407607$FAD8264A-C764-4CD7-B1C1-1359D0996A83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56daf45258a9fd1ff5be2706666925e6f377adc4","datavalue":{"value":{"entity-type":"item","numeric-id":2328956,"id":"Q2328956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e801a7afceec914747c80dc265973e8d69d61dd6","datavalue":{"value":{"amount":"+0.7204524278640747","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":"Q1407607$D006283B-35C1-47EC-8EE3-F4BA4E023A25","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the structure of rotation-invariant semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_structure_of_rotation-invariant_semigroups"}}}}}