{"entities":{"Q2871920":{"pageid":2882640,"ns":120,"title":"Item:Q2871920","lastrevid":51901442,"modified":"2026-01-20T12:24:57Z","type":"item","id":"Q2871920","labels":{"en":{"language":"en","value":"Relation between Hilbert algebras and BE-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6244840"}},"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":"Q2871920$903815DC-CA6C-4B02-A096-33B07075F0CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4ab152810de8dc9ed4afe60d3afbb836746dd45","datavalue":{"value":"1288.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871920$FE574602-4382-4AC6-B0AB-AB167394C5ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"819179e1ce3d26ef126a75c0ecf5c026c92211c9","datavalue":{"value":{"time":"+2014-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871920$8FC7D93E-3D0F-49A8-8BAF-BA70E188BDA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81a05775e14fa8787991dd7be36715e871347787","datavalue":{"value":"http://www.pvamu.edu/mathematics/applications-and-appliled-mathematics-an-international-journal/vol-8-issue-1-june-2013/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2871920$241CD20D-5B90-447A-BE22-B24CA70A21F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871920$88897D66-68C8-45BC-BDC7-B88178F05F75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871920$A09B0160-4BC9-4E44-B32C-6FE7C4084432","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e048d3f299dc80c5e93c7f5c51dc1d506b25cb46","datavalue":{"value":"6244840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871920$4FDA7F9C-2348-4F61-858E-FDAB4059AF6F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e74f952d308e071a6d276ddb9c0c2ec5f66418","datavalue":{"value":"implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871920$B933FEEF-DBEB-4811-86F7-45CD29905B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d63413832309b384d64cb4821fc85aa5ce14dd08","datavalue":{"value":"Hilbert algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871920$732152BE-56D5-4060-BDAC-9B7F6F3EAD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63894605174092e51eaaf8fc0b1ddf17b057277a","datavalue":{"value":"BE-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871920$20A63947-5430-4859-9FC5-7BCB28875CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dccfa73fded765e14c8b3be78c546974768e141c","datavalue":{"value":"dual BCK-algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871920$9938A2F0-118F-4F6C-A7AF-E2B5B2433B89","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":"Q2871920$F9F1762A-3675-4EBD-B915-8DFD17ACE8E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"849bc7b02206a92467b34db98b4dbc9716fd28eb","datavalue":{"value":{"entity-type":"item","numeric-id":278388,"id":"Q278388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871920$E0566DC4-CD21-406C-B5F7-CDD6489249DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76799913dac09d51f3fbb50110c7bf2c7d784c8b","datavalue":{"value":{"entity-type":"item","numeric-id":278390,"id":"Q278390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871920$F6ABD7A3-AF4E-477B-9F8F-CD48C88C9061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f685aa3a1801e972349b29a15dfba3cf27ccc0","datavalue":{"value":{"entity-type":"item","numeric-id":417236,"id":"Q417236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871920$26D23B1C-FA94-4498-96F5-57DBBB8B03CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de96edec4e2f78d014d2498df56497278fe6e6bc","datavalue":{"value":{"text":"Relation between Hilbert algebras and BE-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871920$71E7A661-5902-453F-985E-5686E67639F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cba7733612b0cc050b835d994a34b317ab5d1749","datavalue":{"value":{"entity-type":"item","numeric-id":6599149,"id":"Q6599149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871920$39E7C876-79E7-4382-BACB-050C91107029","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f70c5509b181b03f6a792bb5c94f15045a4bc40c","datavalue":{"value":"The paper investigates the relations between two types of algebras of non-classical logics, namely the intensely studied Hilbert algebras and BE-algebras, the latter of which generalize dual BCK-algebras. The authors show that BE-algebras have as a proper subclass self-distributive BE-algebras, which in turn strictly include Hilbert algebras. Then they prove that the following types of algebras are equivalent, by showing that each of them coincides to implication algebras: commutative self-distributive BE-algebras, commutative implicative BE-algebras, commutative Hilbert algebras and implicative Hilbert algebras.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871920$AA90A6B9-263F-407A-B265-5012BF893571","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6b2a766fa4580d586548716dae8fdf9871fa9222","datavalue":{"value":{"entity-type":"item","numeric-id":377477,"id":"Q377477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871920$7BE9FC13-71EA-47B6-951A-643A21C1F8D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17a5665c5239d0f3976353b45381d4364f383f4","datavalue":{"value":{"entity-type":"item","numeric-id":5136420,"id":"Q5136420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc586e0c47195b735f5ad611e37cdf1f3c03165","datavalue":{"value":{"amount":"+0.8747614026069641","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":"Q2871920$D1927CDE-636D-4800-9985-868651AB2F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adf0ce38d398c1e15b89cb418325aa16423edd9","datavalue":{"value":{"entity-type":"item","numeric-id":5265502,"id":"Q5265502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cf02c02162544e452784506127ce2729bcdfc98","datavalue":{"value":{"amount":"+0.842760443687439","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":"Q2871920$C79DAFEA-486B-4A20-BCD8-8400789C3013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbee917764fc1fa87b804d907d3a70d90b18b594","datavalue":{"value":{"entity-type":"item","numeric-id":4818699,"id":"Q4818699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc542354f9c20f31542a6e0d43febc5734c6e76e","datavalue":{"value":{"amount":"+0.8027830123901367","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":"Q2871920$9C8A8797-666D-4E83-8728-97762CA156DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e124d6cc2f035e22336631c4553c194c1254c93","datavalue":{"value":{"entity-type":"item","numeric-id":1984156,"id":"Q1984156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f831c28bc1db9c02ee492291b1ef5592e78d46bc","datavalue":{"value":{"amount":"+0.7917254567146301","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":"Q2871920$828A92B9-4ED0-4255-8682-96E2F95BC01A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110db567a6b0e205340efdac6111c732191575b2","datavalue":{"value":{"entity-type":"item","numeric-id":5099553,"id":"Q5099553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1a2705a7167b5ea58da6acb212699c3e759ee5","datavalue":{"value":{"amount":"+0.7890632748603821","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":"Q2871920$20B02043-618A-416E-95DB-005D3F45BD2B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871920","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871920"}}}}}