{"entities":{"Q2847082":{"pageid":2857802,"ns":120,"title":"Item:Q2847082","lastrevid":51816515,"modified":"2026-01-20T04:52:39Z","type":"item","id":"Q2847082","labels":{"en":{"language":"en","value":"Adjoint semilattice and minimal Brouwerian extensions of a Hilbert algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6204929"}},"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":"Q2847082$38FDAEE2-F9B5-4BBA-B9BE-8041C3AF29BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e85673762545002433af7e90cd956dc09f6a0100","datavalue":{"value":"1280.03063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847082$5FBE42A6-01C4-4058-990B-8EA6A852EB08","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7194ed2eed87fe711a1b298dffeeda4abd2dbcd6","datavalue":{"value":{"entity-type":"item","numeric-id":466879,"id":"Q466879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$16EB546C-6F3D-437E-AA02-19E25BC54275","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"88c047150e90eaeb91d20cf51fd19317d500afb9","datavalue":{"value":{"time":"+2013-09-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":"Q2847082$4A04A927-60C0-4127-9309-E520FB33D50B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12e7e8bb7e05f58f9423b913cd5718ede3abcf3e","datavalue":{"value":"http://dml.cz/handle/10338.dmlcz/143066?show=full","type":"string"},"datatype":"url"},"type":"statement","id":"Q2847082$A965623D-164E-4DE3-A5B0-BD6CAF0D55CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847082$C5056E65-0333-4FAD-850D-B0426F323012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847082$FC6AC5AD-5B82-467A-9C78-765AF68485B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847082$2387FFB4-8C72-4CE8-BA3C-66A790FC9C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8948c34e793e5195a8bf306d0e010b3472404866","datavalue":{"value":"08A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847082$DC5825BE-2F76-4313-922E-E6608B8B4A5A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c1004e8cb974e26ff76498f0d12bf3db1302770f","datavalue":{"value":"6204929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2847082$54748E94-4177-40DF-A394-AA1EB5F73A5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0294dc036a16d587b1e21fbd82c1898264feceb","datavalue":{"value":"adjoint semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$78062AB2-2852-4BB6-AFD4-281FE4BBAE31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bb817da0da0a52167b4c21124edcd38b2ac8a4a","datavalue":{"value":"Brouwerian extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$8361CDD5-0F1B-4A59-AFD7-FBDD6DDF635C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88b6b54653a145328563a1ca72af49f52ac6e27f","datavalue":{"value":"closure endomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$98448C0A-C5E3-4B84-9732-40A442170B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5126e75d2bc46c578bcd50a9dcef8a564ca8847","datavalue":{"value":"compatible meet","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$2126FF74-1A0B-4A13-95C6-341FF07C4789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78dbfbe6003fef446f28c95572cd39b6093fff00","datavalue":{"value":"Hilbert algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$CC33D855-7480-42D0-8365-59BC7CF67220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19e8127f4e508cb5835952466e7c685640b1c1af","datavalue":{"value":"implicative semilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$C00AC660-1018-476B-820C-15942A50D06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30ba04b09589fd59952d7f73f6c72c24205427c1","datavalue":{"value":"subtraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$C1E53EA0-DACE-48EF-8A0E-0C77B647B0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20efc72b5788a6357d2a825fef758e49c6e88728","datavalue":{"value":"finitely generated filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$980C34EE-C19C-4ECE-A80E-9DC46CCE63E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d554382156d7bc8b129ada6a3424bbe70374ba4e","datavalue":{"value":"lattice of ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$CFF3584C-FE5F-4E80-BB54-FB6CC376905B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48291aaaafeab0a92db86bc547d6acdcd4811fc0","datavalue":{"value":"lattice of filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$7CFE0C0C-7816-48BC-A11C-1C4BB594B292","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":"Q2847082$421CE6E1-34CF-4D69-A267-8FC4BD178FEE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5560a0769f8fb96f3b2e47431a6e003fda290fc","datavalue":{"value":{"entity-type":"item","numeric-id":3772220,"id":"Q3772220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$350234CD-FEEA-42CB-9272-A4C2FFAB5C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6821289fbc45eaa1b105ac923a06eab18a57b1b","datavalue":{"value":{"entity-type":"item","numeric-id":5701818,"id":"Q5701818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$97FD6447-D77C-4D6B-884E-10BDB66B0938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0f4c956456658e19ca0cccc20ff6f1cd990d10","datavalue":{"value":{"entity-type":"item","numeric-id":2454702,"id":"Q2454702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$5FA8EEBF-4224-40AA-9082-0AD3F654693B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15ffb46be9e49b237f6fde18c89e459513c877e1","datavalue":{"value":{"entity-type":"item","numeric-id":5547552,"id":"Q5547552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$9B2C9914-2B02-4870-8F99-8F0FF1D2F8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"338f36829ed7b9da240356c884cf2b476610fc00","datavalue":{"value":{"entity-type":"item","numeric-id":5519895,"id":"Q5519895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$EA1E63EF-C38E-4C05-987B-6A95E3BC13D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb1ba9ff118f08eef5d737f7948020daad42538","datavalue":{"value":{"entity-type":"item","numeric-id":5802118,"id":"Q5802118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$4DC31482-D2CF-49E9-AB4E-F29164C0DC7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fe4687bac901137544dfae8471abec12e38ca96","datavalue":{"value":{"entity-type":"item","numeric-id":5727654,"id":"Q5727654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$2B5B8DCA-60C6-432B-804A-CF8EB5214F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc64db04283fefe711490009e1ec4b15e5526f6b","datavalue":{"value":{"entity-type":"item","numeric-id":1293374,"id":"Q1293374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$5994779F-DDDE-453E-951E-C0B68972FA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de79ca5a067a147ee028d812b89749d5363b08dc","datavalue":{"value":{"entity-type":"item","numeric-id":2564837,"id":"Q2564837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$BF816634-9D58-451E-80C0-5805392A4708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1d79132a7ff6bd4c9f7ecdd27343ffd9a0068f","datavalue":{"value":{"entity-type":"item","numeric-id":4165379,"id":"Q4165379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$BBD68F16-30DE-4081-8EDB-03B1BD788F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$0D9B866F-4792-4FC4-B01F-24A10FD80750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0fefb3494c921e76facc767b6a9d6f6c96f6ec","datavalue":{"value":{"entity-type":"item","numeric-id":1607773,"id":"Q1607773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$A552AB91-8D6B-4F56-A719-ECE1DEE1FAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f531f2c147c8f75ab9a3a6559839f0f753620e43","datavalue":{"value":{"entity-type":"item","numeric-id":2560241,"id":"Q2560241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$09F454DB-AD07-495C-BCEB-8D1F7614E5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63c205ec271958183758b74a9eb73c65cf740339","datavalue":{"value":{"entity-type":"item","numeric-id":3867846,"id":"Q3867846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$5ED03567-0B56-4633-A197-C81588B9BD28","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2155b702781fd9703451ad3f5247b34e38655d78","datavalue":{"value":{"text":"Adjoint semilattice and minimal Brouwerian extensions of a Hilbert algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2847082$9D80034A-9CE6-4209-8BCB-7E090D0215F8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d87a66257254ff6524dbefa5c2346e4327c19bf","datavalue":{"value":{"entity-type":"item","numeric-id":6771755,"id":"Q6771755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$45303FC4-C7AB-485B-998D-DBF3E3E30B8D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"acf1ba7a0303b33dec47bb51eea05fc2458d4f22","datavalue":{"value":"Let \\(A:=(A,\\rightarrow,1)\\) be a Hilbert algebra. A closure endomorphism is a mapping \\(\\varphi :A\\rightarrow A\\) which is a closure operator and an endomorphism. For example, if \\(p\\in A\\), the mapping \\(\\alpha_p:A\\rightarrow A\\) defined by \\(\\alpha_px:=p\\rightarrow x\\) is a closure endomorphism. For every finite subset \\(P:=\\{p_1,...,p_n\\}\\) of \\(A\\), the mapping \\(\\alpha_P:=\\alpha_{p_n}\\circ\\dots\\circ\\alpha_{p_1}\\) is a closure endomorphism, called finitely generated (if \\(P=\\emptyset\\), then \\(\\alpha_P=\\varepsilon\\) is the identity mapping). The set \\(\\mathrm{CE}^f\\) of all such mappings is closed under composition and the algebra \\((\\mathrm{CE}^f,\\circ,\\varepsilon)\\) is a lower bounded join-semilattice, called the adjoint semilattice of the Hilbert algebra \\(A\\).NEWLINENEWLINEIn this paper it is shown that the adjoint semilattice \\(\\mathrm{CE}^f\\) is isomorphic to the semilattice of finitely generated filters of \\(A\\) and subtractive (dually implicative) and its generating set turns out to be closed under subtraction and is an order dual of \\(A\\). The lattice of ideals of \\(\\mathrm{CE}^f\\) is isomorphic to the lattice of filters of \\(A\\). A minimal Brouwerian extension of \\(A\\) is shown to be dually isomorphic to the adjoint semilattice of \\(A\\). Embedding of \\(A\\) into its minimal Brouwerian extension preserves all existing joins, but in this paper the author characterizes also the preserved meets.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2847082$1B6AF3CB-6586-46BD-BFC8-E39F08706438","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2847082$339F45EB-081F-4CBC-9D55-EF8C67A8CC87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ef69f6c8b035ceb3fa4b2ec20a94a3aff075e9","datavalue":{"value":{"entity-type":"item","numeric-id":2318265,"id":"Q2318265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b8f07b948bac4f2cf09a14b92f9fd06b45bd1a","datavalue":{"value":{"amount":"+0.807212233543396","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":"Q2847082$54F303AC-F29C-4FB9-890F-F27BF56EB6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01fa1c03d156a24857d3178544cd74e40367996f","datavalue":{"value":{"entity-type":"item","numeric-id":2888632,"id":"Q2888632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fbfeb6381c1af704624f698b01ba605b9e74dfb","datavalue":{"value":{"amount":"+0.7820534110069275","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":"Q2847082$B7288F5F-3EA0-478B-83B2-BED764F15780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"554f23a8ab0938634c19097235241d90dbeacefe","datavalue":{"value":{"entity-type":"item","numeric-id":5193484,"id":"Q5193484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85cc036d89b3435b4eec0f32530e18ebaf15758","datavalue":{"value":{"amount":"+0.7796257138252258","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":"Q2847082$2ABA72BA-9158-42BB-8CE1-EBFCF037FFAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"622bd82af95dbab108ea9e38cb1d2237314b1399","datavalue":{"value":{"entity-type":"item","numeric-id":3218180,"id":"Q3218180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7629aec858adb432080834915912f16f2ffb55a8","datavalue":{"value":{"amount":"+0.7731165289878845","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":"Q2847082$57444304-B4D1-41C3-8D06-1246AAF33515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a412a011d7cda7074b89f450099a1b7e9353a23e","datavalue":{"value":{"entity-type":"item","numeric-id":2454702,"id":"Q2454702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22b91aa9cd6f985dd4a2b64e41fc71b34ddddb05","datavalue":{"value":{"amount":"+0.7723824977874756","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":"Q2847082$76BC7582-2497-4060-8B15-07CC6A12B5D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2847082","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2847082"}}}}}