{"entities":{"Q2476639":{"pageid":2487382,"ns":120,"title":"Item:Q2476639","lastrevid":44158146,"modified":"2025-11-20T11:14:56Z","type":"item","id":"Q2476639","labels":{"en":{"language":"en","value":"Filter theory of BL algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5248440"}},"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":"Q2476639$C5FE104A-5F20-4B32-B93A-795DC07D0E15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6dff2e32d6cf51e091e960445935ae5acdc48e05","datavalue":{"value":{"text":"Filter theory of BL algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2476639$4D654168-4EAF-4F85-8119-9545F12A46AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56961febdf5b5b5c55b9b866423276e4da6689e4","datavalue":{"value":"1165.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476639$3F855F0C-4687-4DCC-814B-B5A530075DDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"209cefe6a0eff535f4f35c7d031fafe4337e548f","datavalue":{"value":{"entity-type":"item","numeric-id":588943,"id":"Q588943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476639$E604B723-2BEA-46A4-9EF3-8AAA3B150D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9a94b2b588b05fc24c55d6d62bec489948e41cf","datavalue":{"value":{"entity-type":"item","numeric-id":202029,"id":"Q202029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476639$A5EB0C12-4839-4A0D-B784-6F0DE378FDE9","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":"Q2476639$73670E01-4352-472B-90D0-F947C3C56C4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2bb6064fe12f1f98326de21fadc6a9704c90a","datavalue":{"value":{"time":"+2008-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2476639$B3152E97-7168-4425-948E-2E175506F030","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"54ac4ed155f4e05bc7e2d423b7079d801eb4e3f7","datavalue":{"value":"The paper continues the work started by \\textit{M. Haveshki, A. Borumand Saeid} and \\textit{E. Eslami} [Soft Comput. 10, No.~8, 657--664 (2006); erratum ibid. 11, No.~2, 209 (2007; Zbl 1103.03062)] on various kinds of filters in BL-algebras, namely on (positive) implicative and fantastic filters. These filters are the usual filters which are in addition closed under certain rules. Originally, Haveshki et al. proved that the quotient BL-algebras with respect to these filters are Boolean algebras, G\u00f6del algebras, and MV-algebras, respectively.  In this paper, the authors reprove the same results in a different way. They prove that each kind of the above-mentioned filters has such properties from which the description of quotients follows easily. For instance, they show that \\(F\\) is an implicative filter if, and only if, \\(x\\to x^2\\in F\\) for each \\(x\\in F\\). Analogously, \\(F\\) is a fantastic filter if, and only if, \\(\\neg\\neg x\\to x\\in F\\) for each \\(x\\in F\\).  In summary, Haveshki et al. found alternative axiomatizations for Boolean, G\u00f6del, and MV-algebras by means of quasi-identities. This paper reproves these facts once again.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476639$17110BEE-1CFC-463D-AB7A-1F39CE03B765","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":"Q2476639$5F49F139-FE84-4A12-A13E-7EE06FCA5ED8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476639$B5397664-22A8-4E2A-BE8A-74AE7F42A414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476639$9D94E4EE-DD5D-465A-9EFB-AA18258884D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476639$97C26063-D812-4C54-836B-0EC5D5D9C952","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fc485c6972f3b0852627e0946a8cad3c4a97f6a0","datavalue":{"value":"5248440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476639$FBE5874A-D2A4-47CA-AC14-06F5512F7ED1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970d4681910c0fb972f8cc1f1362b61bc462d13","datavalue":{"value":"BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476639$8BD96824-019D-48F5-9D82-DA511CB4AC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e65d8ce1b478dc8adf2ee5b9d1401b48f0fe5d2c","datavalue":{"value":"filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476639$050A5A06-0E92-4192-9873-BCCA4E138578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6eeeeb3df8ea274df0026a9bdb40a1ac15afb5c0","datavalue":{"value":"implicative filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476639$086A4EF9-92A3-44C9-903D-AAE6F9B601C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb3932ff28a34a486f0474c3301d3bcd3e9b4b51","datavalue":{"value":"fantastic filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476639$55289B8B-D92D-41A8-B3D4-CDDD7DE3FD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba77ebcb5c42b111e1c34fd3465dfef74900115","datavalue":{"value":"G\u00f6del algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476639$91BD635D-8D67-45E2-81F1-C938110A36A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476639$CAC8C8B1-BDAE-4A32-A2BE-A57C71B0D156","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":"Q2476639$243E08CA-93DF-4A8A-83E1-797E5382E062","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2206572de2de603e62009b9c5191adc89159e5d1","datavalue":{"value":"https://doi.org/10.1007/s00500-007-0178-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2476639$6709764C-DA53-427E-BA2C-CD673BDCA8F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3afe6b9716556a220de3c3cfb28374225b4d2585","datavalue":{"value":"W2028123589","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476639$E52FDB9C-4BAD-451C-AAD4-C0ACE5A922B1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476639$157D1E5D-8E54-4C14-B6CE-A45A18F39669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"266a6cecaca49009ba24255871087a156ad9b06d","datavalue":{"value":{"entity-type":"item","numeric-id":2500772,"id":"Q2500772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476639$45226CDD-98D2-4EC6-8D83-E24D47BF76DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4869b8b73e95b15c37eb0156f6b9fbfe242260cb","datavalue":{"value":{"entity-type":"item","numeric-id":4506244,"id":"Q4506244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476639$491C743A-FDFD-4814-918D-C1AA6516085C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be3e1cbaec993f625577596c2642cc525101c659","datavalue":{"value":{"entity-type":"item","numeric-id":5950710,"id":"Q5950710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476639$4E8E8B32-86BD-4F98-BF54-196C2DCA242D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93afa8c2adf602e63fd957e2a90bdf3337a677eb","datavalue":{"value":"10.1007/S00500-007-0178-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476639$0D207116-A5FE-4943-87FA-980506E5F9FA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9eecd896fe25fd0953536598094584c1cbab389","datavalue":{"value":{"entity-type":"item","numeric-id":623144,"id":"Q623144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba9c43eac0368a1a44044a1d5f9dd484897e3383","datavalue":{"value":{"amount":"+0.78428847","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":"Q2476639$14AC2262-E23D-4B4D-BB70-EB802E566613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a350ebbc36c2893917ffd93092a7e434a769cc9","datavalue":{"value":{"entity-type":"item","numeric-id":485456,"id":"Q485456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9611fa2b84b791e856843d7de081def0e4b0802f","datavalue":{"value":{"amount":"+0.7837406","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":"Q2476639$3817205F-FFAA-4906-89DB-6A33E1246FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d6aa16b857a3521724c08b22137fd810386212","datavalue":{"value":{"entity-type":"item","numeric-id":3650324,"id":"Q3650324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e879986b4d0655e17f758dd2c75d14cbed06c7","datavalue":{"value":{"amount":"+0.78110033","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":"Q2476639$EDF7C75A-528C-4F64-A059-FD3B432E8E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf7642aa2c5be18024802c7a71d4e7a2b7c14c91","datavalue":{"value":{"entity-type":"item","numeric-id":4583714,"id":"Q4583714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4411e6ced5284071b22bfab623e6f5fa11f3cebb","datavalue":{"value":{"amount":"+0.78067625","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":"Q2476639$E42D31AC-54EB-4431-9393-32C532BC5E27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"277cc85b22d37192e361f3d0b1d87de3e4e2aa3b","datavalue":{"value":{"entity-type":"item","numeric-id":5399695,"id":"Q5399695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b212dfbf1eeb3d7a046edd6c3ca58ffa4ab6bb","datavalue":{"value":{"amount":"+0.7791813","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":"Q2476639$10BFC468-820A-46A5-BB91-27FD31663309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9be59e2b2f868adfe97c61503d114bd8e9ce8fb2","datavalue":{"value":{"entity-type":"item","numeric-id":5387330,"id":"Q5387330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75405b4bc2679a1d9f7b8dc3f9216428a41a632c","datavalue":{"value":{"amount":"+0.77847713","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":"Q2476639$EE8096BD-0710-4499-BD7C-1388B22DDB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a14d5519847bfd24b6a7af5f87fa630dde32da0f","datavalue":{"value":{"entity-type":"item","numeric-id":427919,"id":"Q427919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabeb0ae4b5fbc19dfddd0f8e5fce4ec0c946e46","datavalue":{"value":{"amount":"+0.77384967","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":"Q2476639$44CA2438-9D7B-4883-ACDD-5E3BD0B8AE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a65ef2831abfc24116a82fe0ad5901066c7c188","datavalue":{"value":{"entity-type":"item","numeric-id":5174130,"id":"Q5174130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c11732090dac1eb3b0268c7fde8227f5ba699b2c","datavalue":{"value":{"amount":"+0.7720131","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":"Q2476639$E5AAEB5B-33C5-41AC-9718-DDAE316479E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"537e24731b4924b29f6a7b549ebe5779ba4ec3b9","datavalue":{"value":{"entity-type":"item","numeric-id":2988614,"id":"Q2988614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86356632c61c71927cd7522029c91dede25e45c9","datavalue":{"value":{"amount":"+0.7715573","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":"Q2476639$0F23323B-0D8D-49F1-9E15-317BA978A446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0de39e367e344a8ee3980a1668c6f5927334df0","datavalue":{"value":{"entity-type":"item","numeric-id":4956420,"id":"Q4956420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63ccb7c20dc5d24a0794f6cec243fb458af214c4","datavalue":{"value":{"amount":"+0.7689807","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":"Q2476639$C34B9A94-4CC8-4B2B-9BAF-DCB05C01593A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2476639","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2476639"}}}}}