{"entities":{"Q2577699":{"pageid":2588442,"ns":120,"title":"Item:Q2577699","lastrevid":44394801,"modified":"2025-11-22T15:32:43Z","type":"item","id":"Q2577699","labels":{"en":{"language":"en","value":"Implication in MV-algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2243848"}},"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":"Q2577699$42DEDBF3-E14F-490C-8A91-E4B0E8A6EFB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efb24c6359ed30e993658032b97f33c5fc0250e1","datavalue":{"value":{"text":"Implication in MV-algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2577699$A243059C-A96E-4833-920B-D7576193A9C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccde0062806d3a5fc011f007f7ef9673f5c97ca8","datavalue":{"value":"1097.06011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577699$D3450EE1-9E0A-4ABD-9C83-A93A52B82186","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":"Q2577699$C2359A84-EB02-4C54-AA3F-A6AF8F3CFC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dbeb0f87521a2b80550283ee62977c8caf5533f","datavalue":{"value":{"entity-type":"item","numeric-id":344072,"id":"Q344072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577699$81B1F3C8-AA8F-46E4-80AE-ABC5FD678039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"652af66e768b908a01aa0759e7e288634d0bb314","datavalue":{"value":{"entity-type":"item","numeric-id":427917,"id":"Q427917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577699$9CC703DB-2766-4FC9-B929-28028C3AA2D7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577699$427AE27C-3CE0-4DA5-92DE-1AC2CB4F5FFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a28896e5111b14a787c7b95f92ad273263b18f84","datavalue":{"value":{"time":"+2006-01-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2577699$0605177E-090C-4D8E-AA4F-EDB918DAE5C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9088bc4e34a8ba964d4eef9afe87a7baace478e8","datavalue":{"value":"The class of implication algebras (also known as Tarski algebras) introduced by Abbott form the algebraic counterpart of the implicational fragment of classical propositional logic, i.e., the implication algebras are \\(\\{\\to\\}\\)-subreducts of Boolean algebras. The authors of this paper generalize the notion of implication algebra in order to obtain similar algebras for \u0141ukasiewicz logic. For this purpose they define a weak implication algebra which arises from the definition of implication algebra by replacing the defining identity \\((x\\to y)\\to x=x\\) by identities \\(x\\to 1=1\\) and \\(1\\to x=x\\). Then they characterize the class of weak implication algebras as a certain class of join-semilattices where each interval of the form \\([p,1]\\) is an MV-algebra. Some of the presented results partially overlap with some known results from the theory of BCK-algebras.   In fact, the class of weak implication algebras as defined in this paper coincides with the class of commutative BCK-algebras [see, e.g., \\textit{K. Iseki} and \\textit{S. Tanaka}, ``An introduction to the theory of BCK-algebras'', Math. Jap. 23, 1--26 (1978; Zbl 0385.03051)]. Another paper closely related to these results is [\\textit{D. Mundici}, ``MV-algebras are categorically equivalent to bounded commutative BCK-algebras'', Math. Jap. 31, 889--894 (1986; Zbl 0633.03066)], where it is proved that each bounded commutative BCK-algebra is an MV-algebra. It should also be mentioned that the class of commutative BCK-algebras (= weak implication algebras) does not correspond to the implicational fragment of \u0141ukasiewicz logic (i.e., they are not \\(\\{\\to\\}\\)-subreducts of MV-algebras). It is known that in order to axiomatize such a class we have to add the prelinearity axiom. The fact that the prelinearity axiom is necessary was shown by \\textit{Y. Komori} [``The separation theorem of the \\(\\aleph_0\\)-valued \u0141ukasiewicz propositional logic'', Rep. Fac. Sci., Shizuoka Univ. 12, 1--5 (1978; Zbl 0377.02021)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577699$FF8BE8D3-B975-431F-8700-4665C11F40F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"73c361858eeca6952519ea8b552aad4cb33e3b12","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2577699$48603FE2-08CD-4F3E-B386-382436507D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577699$CD9A02E5-79FB-4879-B56B-F988DF34BFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a1f7150f9a39f853b63ad46f37d78a6cea4d967e","datavalue":{"value":"06F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577699$EBBB5EEC-ACE8-4A58-8E91-77DBB570FBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577699$D876BE16-8187-43BB-9BBC-95E02D165C50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e80ab745af84226b0e3033c56c51400263e90a26","datavalue":{"value":"2243848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577699$9609DE7C-9C6F-4132-BAAE-81DA7B2A7197","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577699$C78FEE85-C284-4015-960B-1E57CEA3AB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04e74f952d308e071a6d276ddb9c0c2ec5f66418","datavalue":{"value":"implication algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577699$2FCCC59B-51CC-4D5A-B10A-0735BB788EF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddf91f063ead83cc1b6b7b31d6faf758c91cab9f","datavalue":{"value":"commutative BCK-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2577699$D80B76B1-59BB-44EC-B831-90189D857023","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":"Q2577699$C54D9246-9AC1-48B9-95ED-EAB821E2B25A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3359d9fcc466336867c6624dc1e629a821e5281b","datavalue":{"value":"https://doi.org/10.1007/s00012-004-1862-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q2577699$6EA443E2-F00C-4EA5-812E-2EAEAC8C1936","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ab0ab65ed4463e3139b290f1be76e63201fdfd5","datavalue":{"value":"W1978889788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577699$ADC6CA98-E33D-4A61-8D7F-9C4960F309DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ea56aec43e8d743d00bad99327206571232df5b","datavalue":{"value":"10.1007/S00012-004-1862-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2577699$2ADD70C3-C6B3-4260-9491-68A6E258DE0B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8be3a6ffb1b721ff267be5bc1516d959b4ecac","datavalue":{"value":{"entity-type":"item","numeric-id":873745,"id":"Q873745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68f2648bc0f234e1cab9df1a69a7e1d6d06c274f","datavalue":{"value":{"amount":"+0.8638357","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":"Q2577699$53900610-FF83-4997-9E32-DB183A284858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb90fdea63edfa90fe2935d4fefc356a18c2b25b","datavalue":{"value":{"entity-type":"item","numeric-id":4416374,"id":"Q4416374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d7ec465099de8a0755a35a681629adbe81c6c59","datavalue":{"value":{"amount":"+0.79953873","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":"Q2577699$D1F9319A-4380-47BF-A5E3-B5BF25164F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac5a326188c6764cdd34eadcf774a948efb77c9","datavalue":{"value":{"entity-type":"item","numeric-id":5212289,"id":"Q5212289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75f3eeb3c71640a9655e0f0f29cffca606c056ad","datavalue":{"value":{"amount":"+0.79730344","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":"Q2577699$99E7963D-A8A2-4DEB-A28B-809A445F5BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"526d946e5a83c8fceca7d38c9b418d856028de83","datavalue":{"value":{"entity-type":"item","numeric-id":3431278,"id":"Q3431278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b16ede02a3d6014b7a05f0ab9b319cffeb6c4a6","datavalue":{"value":{"amount":"+0.7847502","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":"Q2577699$A044D2D4-0262-487F-9398-A6A9668F9708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828ce7162237bc90d994475bbe3646f36f586301","datavalue":{"value":{"entity-type":"item","numeric-id":5877479,"id":"Q5877479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba49bbdb2624f2bca781c8e356d91e87902c769f","datavalue":{"value":{"amount":"+0.7739617","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":"Q2577699$0A33E4A9-E43E-458D-BDA3-873A10D75231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae104d6cb36ae4106b54a7dce3bfb16750dc20d","datavalue":{"value":{"entity-type":"item","numeric-id":3222844,"id":"Q3222844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2afcc64db2f194bf6729442ac3901ca6c7d83274","datavalue":{"value":{"amount":"+0.7682219","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":"Q2577699$AD8D4BAC-B77E-4741-B7EC-F72D96D05C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b931fb31e2daa5bb0b1124f1f3ad80dafa2e4734","datavalue":{"value":{"entity-type":"item","numeric-id":5476121,"id":"Q5476121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"943d8467c668d1b2425e3aae275ad2566fd086af","datavalue":{"value":{"amount":"+0.7636366","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":"Q2577699$C2FBA0FF-3AD5-4B61-A602-7C59266E9F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fc4598f4f1c46db1f213a75b94e99507151f2cc","datavalue":{"value":{"entity-type":"item","numeric-id":4332297,"id":"Q4332297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64c4c39e964e643bc593131c7bf4d540835f1193","datavalue":{"value":{"amount":"+0.7617284","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":"Q2577699$FFFD71E3-CE39-42C3-8DA5-01795030FA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ca0b0259c7a6033683f8e4abd63164a164e521e","datavalue":{"value":{"entity-type":"item","numeric-id":4685191,"id":"Q4685191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e80784cf67121a0ce4a92b9cd100e01109ff7e3","datavalue":{"value":{"amount":"+0.75642556","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":"Q2577699$5E976EEC-D2B9-4B45-B149-3C805DBA20CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b61456bcfcec7ee8e3f4b9f8eea0e79fc169edb","datavalue":{"value":{"entity-type":"item","numeric-id":4025736,"id":"Q4025736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85a0897aedc8b0f92fb88064199b243be0e13cc5","datavalue":{"value":{"amount":"+0.7550721","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":"Q2577699$E67250B3-2839-408B-A062-A9223FDD2F21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2577699","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2577699"}}}}}