{"entities":{"Q422448":{"pageid":424215,"ns":120,"title":"Item:Q422448","lastrevid":61728588,"modified":"2026-04-11T01:15:16Z","type":"item","id":"Q422448","labels":{"en":{"language":"en","value":"Hedges and successors in basic algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6035760"}},"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":"Q422448$7B05D4F0-C40B-46F4-A391-EFA88ECC3298","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1a35cd9c301adb675523a6ce8acc76c2e679a87","datavalue":{"value":{"text":"Hedges and successors in basic algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q422448$749DF8A7-539C-41F6-9397-E0A7D850F5E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b053a08a662181744140502ec9e576242d1509d9","datavalue":{"value":"1254.03118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422448$81963DBE-662D-4278-889A-0A52C66CA453","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6df8e8ef43472738ac01c452fe02fb68cd3d706","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422448$BB7CC6E9-AC0A-4DF7-BA48-F836CEBD25A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9984799a85550783e833bfe04283fc5e29ec3af6","datavalue":{"value":{"entity-type":"item","numeric-id":65072,"id":"Q65072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422448$58CFD070-E2A6-474D-80E3-9AD8E3AC42B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c6dd1e92ce65549be4e5bdc022a3c4981b4ec03","datavalue":{"value":{"time":"+2012-05-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":"Q422448$D3F6F0BD-38C1-4A16-9453-F12CDF5821B1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ac93286e91fe144f73cfc9df6f71085fcffd20c6","datavalue":{"value":"The author defines hedges and successors on basic algebras and proves some fundamental results about them. Let \\((A, \\oplus, \\neg, 0)\\) be a basic algebra. A map \\(* : A \\to A\\) is called a hedge if it satisfies the conditions:  (H1) \\(1^* = 1\\),  (H2) \\(x^* \\leq x\\),  (H3) \\((x\\to y)^* \\leq x^* \\to y^*\\),  (H4) \\(x^{**} = x^*\\).  The following theorem is proved:  Theorem 3: For a basic algebra \\(A\\) with hedge \\(*\\), if we define \\(H(a) =\\{ z\\in A^* \\,|\\, z\\leq a\\}\\), then \\(H(a)\\) has a supremum and \\(\\sup H(a) = a^*\\).  Conversely, the following holds:  Theorem 4: For a subset \\(A_0 \\subseteq A\\) such that \\(1\\in A_0\\) and the subset \\(H(a) =\\{ y\\in A_0 \\,|\\, y\\leq a\\}\\), which has a supremum for all \\(a\\in A\\), if a condition (P) is satisfied, then the map \\(x \\mapsto \\sup H(x)\\) is a hedge on \\(A\\), where (P) is the condition \\(\\sup H(x\\to y) \\leq \\sup H(x) \\to \\sup H(y)\\).  A map \\(s:A \\to A\\) is called a successor if \\(s(x)= \\inf \\{y\\in A \\,|\\, y\\to x \\leq y\\}\\).  The author also proves:  Theorem 5: Let \\(A\\) be a basic algebra and \\(s\\) be a successor in \\(A\\), then  (i) \\(s(x) = \\inf \\{ y \\,|\\, x\\leq y, y^x \\leq y\\}\\)  (ii) \\(s(x) = \\inf \\{y\\vee y^x \\,|\\, x\\leq y\\}\\), where \\(y^x = \\neg y \\oplus x\\) for \\(x,y\\in A\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q422448$D97391F1-B355-4EF9-87EE-DA9C95DF0BBE","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":"Q422448$955517F0-05D0-4F49-8911-287F9C9E0B98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422448$3BC9A924-C544-4E4C-9599-797F703E5898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1223d796215bbf4bcae3c67b36ec5aaeab489659","datavalue":{"value":"06D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422448$3E969207-E5C8-4588-A6F7-A87C99B561CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32226e4ac49291f815d8837cb44770b37014878f","datavalue":{"value":"6035760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422448$0FF8A4EF-B699-48D9-8B65-CBCE441C2D60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd6cb38c7aaa4d252d2b4a69c12f006441478ab9","datavalue":{"value":"basic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q422448$77413C83-D010-4D85-99B4-A5AA239E7046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24696e017151cd00d04776e928a537548df4df0f","datavalue":{"value":"Heyting algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q422448$C5D41FAE-4248-4310-A275-EABC892645A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e2292702c16ddf44f5871ff7a10bb367fc0b279","datavalue":{"value":"hedge","type":"string"},"datatype":"string"},"type":"statement","id":"Q422448$DCB2B3A7-649B-4933-891D-2C4E96D63E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fa36c5ccfdf8262f144914094da8cc43a56ad6e","datavalue":{"value":"successor","type":"string"},"datatype":"string"},"type":"statement","id":"Q422448$11375907-C9E5-4F9B-A9E0-11C6191060A7","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":"Q422448$0A4F824D-C4FF-4823-A097-B97721FFC53D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a932a7407807c27dad786f979c45a3e07b30e1e","datavalue":{"value":"https://doi.org/10.1007/s00500-010-0570-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q422448$70F5AD40-118A-41A4-AD21-195F607B6788","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9935e36d8666b5b8faa59b438320a329e1c8fab2","datavalue":{"value":"W2013016676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422448$D5BC223B-A72D-462C-A108-96810A4B6F9C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a705aa91097f7bf29848c478af91e964c5f51fd9","datavalue":{"value":{"entity-type":"item","numeric-id":5389213,"id":"Q5389213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422448$333E6189-5F2B-4761-B9A7-0F5140344FC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c27152ec84c5d1e518dfa237ff1e54ebd8b9f86","datavalue":{"value":{"entity-type":"item","numeric-id":2380335,"id":"Q2380335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422448$87070FF0-0455-4900-AE94-7F850D5B8B38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0cb8cb927478b7bcf307eb544a22df4115a278e","datavalue":{"value":{"entity-type":"item","numeric-id":4328824,"id":"Q4328824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422448$23A91A73-1777-4276-841B-41C33BC72F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef83319f09c3065cc08bd63efc5e51923dc02ea7","datavalue":{"value":{"entity-type":"item","numeric-id":5696168,"id":"Q5696168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422448$13EE6C3D-2217-4392-A154-6C938B61C5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"912d0682c116b883e8739123fcba6277cdc14bc4","datavalue":{"value":{"entity-type":"item","numeric-id":5293965,"id":"Q5293965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422448$FD2992BA-8C6A-4F89-BEFB-C0C50AC513C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8977844c219298ab5859fcb51d92fd10e67725ee","datavalue":{"value":{"entity-type":"item","numeric-id":1013985,"id":"Q1013985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q422448$6EEA54E0-CE37-42E0-8466-E60358638AA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9be00bfe1819286e82baa4e05361f74a644370f8","datavalue":{"value":"10.1007/S00500-010-0570-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q422448$96F1DE7C-91C8-4E55-BCBA-519AFA4C88C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"788a861cf178746cea3910bf91a8ea7d04703d83","datavalue":{"value":{"entity-type":"item","numeric-id":1311709,"id":"Q1311709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ff1e3938e813fc5b2d0b5a0d13ac64651001beb","datavalue":{"value":{"amount":"+0.7979800701141357","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":"Q422448$052690E1-402F-445E-8235-99990B35CDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40244f009032e7d6ded26c5f4e0dfeed0886593e","datavalue":{"value":{"entity-type":"item","numeric-id":853470,"id":"Q853470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac91100727770078c0ae965e22f280ffdd0142e","datavalue":{"value":{"amount":"+0.7700967192649841","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":"Q422448$D208E088-060B-41FE-8B5F-A98E67765D7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbe89a39afb0161782bc014b2a03a915a678d2b5","datavalue":{"value":{"entity-type":"item","numeric-id":4249220,"id":"Q4249220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf01e9e3da4c4a7ff9e4d747056b034add25632f","datavalue":{"value":{"amount":"+0.7587813138961792","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":"Q422448$A6626D35-DD12-4395-B261-1EF7A8A50701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be46cfa3fccbd5d1b7ed72dd08f535bfb49d4d5d","datavalue":{"value":{"entity-type":"item","numeric-id":545318,"id":"Q545318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf01e9e3da4c4a7ff9e4d747056b034add25632f","datavalue":{"value":{"amount":"+0.7587813138961792","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":"Q422448$5B5CDEB0-378D-4848-B393-27962FDDDD67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c53deedf6b669988897cd9c873793bd13fab793b","datavalue":{"value":{"entity-type":"item","numeric-id":698828,"id":"Q698828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a142ce137d5ccb84986f41042321c0652e484bc6","datavalue":{"value":{"amount":"+0.7522422671318054","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":"Q422448$7DB39AA5-7049-4324-BBC8-C030F10C17C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hedges and successors in basic algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hedges_and_successors_in_basic_algebras"}}}}}