{"entities":{"Q877764":{"pageid":879612,"ns":120,"title":"Item:Q877764","lastrevid":65032905,"modified":"2026-04-11T23:52:04Z","type":"item","id":"Q877764","labels":{"en":{"language":"en","value":"Every linear pseudo BL-algebra admits a state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148915"}},"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":"Q877764$5DBE4032-EB4F-47BA-9884-4DA6AD130858","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f17e46d3e9f7ac0405616254a6090e18216d0e3","datavalue":{"value":{"text":"Every linear pseudo BL-algebra admits a state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877764$B3F8BE52-05D2-43C7-A478-30D50DCF124C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65a765581ea2a7013fcff258b794fc04c890c2bb","datavalue":{"value":"1122.06012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877764$BEBABB0F-50BB-45E8-A196-C06EE1A306D3","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":"Q877764$987485B9-9989-49E5-A088-256670202C43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"705732f6c443403985df27568b16305b8e45450f","datavalue":{"value":{"time":"+2007-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q877764$4CBDAE84-F49F-4B35-9EF1-97C09878446C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a3c853c649d75cf9d27417ad69183e3cb8f37e5f","datavalue":{"value":"The paper solves the problem whether there is a state on each linear pseudo BL-algebra. This question is equivalent to the existence of a maximal filter which is normal. Since there is always a unique maximal filter in each linear pseudo BL-algebra, it is sufficient to prove that it is normal. The author proves that this is really the case. It follows from this fact that each representable pseudo BL-algebra admits a state. Moreover, it is proved that each representable pseudo BL-algebra is good, i.e., the composition of left and right negation gives the same result as the reverse composition. This result is in fact a partial answer to the open problem whether each pseudo BL-algebra is good or not. Finally, the author proves that there is a maximal decomposition of a saturated linear pseudo BL-algebra as an ordinal sum of irreducible components.","type":"string"},"datatype":"string"},"type":"statement","id":"Q877764$1491AC52-7262-4424-A316-ADCFFC0E707F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd19dc3d013c4b13f00e8fa7d8b28fd5bad6af5","datavalue":{"value":"06D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877764$90C3B3DD-6EF3-4FF3-B07D-86E90D548FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877764$16B171A0-0F4C-49AC-B57C-1D179081F8BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877764$8E99BBE3-5071-4012-8239-1D0F352C43B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6610b878383a8932e42379ba4dcb7c3b0e825864","datavalue":{"value":"5148915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877764$4B6AFF1F-1605-4DB5-9616-AE6C79598756","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62d30275ac21deda3b3611b9dd032512fa7c621a","datavalue":{"value":"pseudo BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q877764$C28C3336-F9E3-4B5C-A9A9-BFB11F9CDA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25c146e9cf9cd8649bdc135b1bff7608ffdef3f5","datavalue":{"value":"GBL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q877764$1C59B406-B27B-40A3-896B-4ED4B5BA0ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84c5b1e7cfeb804aad8f9a0ea04cf850d5d409ab","datavalue":{"value":"GMV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q877764$63476CAA-EC19-48BC-A835-0CBAD51B6F06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be3e9b5ddda6a1bcdbf4d71d695c5746114fb1d5","datavalue":{"value":"state","type":"string"},"datatype":"string"},"type":"statement","id":"Q877764$6DF402FF-C386-4CD4-950E-943933A1D185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4cf9e72ef443853786a8ed514e14f29f7452468e","datavalue":{"value":"normal filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q877764$8C8D8249-1F0E-4D2B-AB5D-EF68BD479B70","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"359c0df30f5ebfb148ed65afc8a013219b3ae9dd","datavalue":{"value":{"entity-type":"item","numeric-id":191387,"id":"Q191387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$C035BD88-3F30-42F2-9A01-AF0A5F03F811","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":"Q877764$EF19C8A0-5F38-4761-AC27-EC313C442CA6","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":"Q877764$E7A9E13C-4669-409F-A543-2097D47C9D53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bbb1de19202fdb5d169b42568d5fccf6885c1397","datavalue":{"value":"https://doi.org/10.1007/s00500-006-0078-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q877764$B181130C-A59F-47F8-9B3F-6DAB72951107","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe06739e4d32ebf527c88ae9b5bee220c9b73ac7","datavalue":{"value":"W2039004590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877764$9DEA1DD7-F88C-42F6-BF9D-627504CA5EBA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81700654b480ea16a29b7b331463fd1f3978ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1812017,"id":"Q1812017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$369DE45A-26CE-4E61-A71F-E06425498B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d296beb583a0859fa54bfe79ccec5920cf76e2","datavalue":{"value":{"entity-type":"item","numeric-id":4804772,"id":"Q4804772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$C0C5C2DF-C07D-498B-A42C-DEB226550019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a27875243f119c05effefdbb6809ecc9b0a7a66","datavalue":{"value":{"entity-type":"item","numeric-id":4804773,"id":"Q4804773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$A3AB539A-4D68-42AE-8897-D86FAA99AFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73100f7b1c8793974d27854c3cfcea8da0f7d0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5951892,"id":"Q5951892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$628D556B-1704-49B9-B38E-5BEDC0485C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"658e58d24c242b57ceffc8ac4074fb3b3b46b127","datavalue":{"value":{"entity-type":"item","numeric-id":4805459,"id":"Q4805459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$73AB8E9D-B43D-4DB1-8967-F3C42ADDDDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e4236837a7d87a00103b75756d54ccb9552f87","datavalue":{"value":{"entity-type":"item","numeric-id":816883,"id":"Q816883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$D151D663-8DC4-4F78-8F8A-22293A17ABEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$E5BAC3A0-CF15-4FB7-BE1E-3044D419BA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd1d637e05f10b35806b40cec438e76cc96ae58e","datavalue":{"value":{"entity-type":"item","numeric-id":558218,"id":"Q558218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$0735DEE0-F93D-4E56-BC0D-5ADA490EABCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f62cbb42689b2d0d9993016960608cbf709c4ace","datavalue":{"value":{"entity-type":"item","numeric-id":4542634,"id":"Q4542634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$20A4C581-8014-45F1-80ED-20ACD245A9D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fcdb5e30e526dc39a1320017bd25aa11991d2f","datavalue":{"value":{"entity-type":"item","numeric-id":4291523,"id":"Q4291523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$FDCEBB3A-09CC-4B11-A455-4420BC2A87E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1253267a076bb8e4df01812581f2183135a925a7","datavalue":{"value":{"entity-type":"item","numeric-id":4429231,"id":"Q4429231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$324EB37B-1CB0-44D2-89B0-8A9808394BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd0b926d879a9b22e3f361de92882176e5f27186","datavalue":{"value":{"entity-type":"item","numeric-id":1896758,"id":"Q1896758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$A782CFF2-0F9A-4E8F-9BEB-B4BBA00F73C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa940be2517ddc2f2dc748c5fba15821f7255dca","datavalue":{"value":{"entity-type":"item","numeric-id":4799961,"id":"Q4799961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877764$E0DAB421-B57D-4C8F-84BE-5F49033618F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad8df72a4524f5d45737a7e986271c3b5f3a4519","datavalue":{"value":"10.1007/S00500-006-0078-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877764$D2867853-4084-4E30-90EE-1CD01863D4D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b291d30267eec4eb30a4067709d0b00415e4532","datavalue":{"value":{"entity-type":"item","numeric-id":3605344,"id":"Q3605344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e47436fa7568890469df2869b5c5e9314df96b0","datavalue":{"value":{"amount":"+0.8186343312263489","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":"Q877764$195EF291-4FA0-486C-BFC1-FA53FDE4F41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67f31fdc46e25a24b1091058010190b01e6bc302","datavalue":{"value":{"entity-type":"item","numeric-id":600459,"id":"Q600459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eddbd035fe04f6ad689fdd609005959186798852","datavalue":{"value":{"amount":"+0.7980698347091675","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":"Q877764$B72D6E4E-77AB-4C42-9738-C61178FAE00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb769e51c522460adb2dbf16788012f71e97656b","datavalue":{"value":{"entity-type":"item","numeric-id":432189,"id":"Q432189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"470684c9492b07950ad76b627149c40cd1d72915","datavalue":{"value":{"amount":"+0.7890310883522034","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":"Q877764$A9C48519-2A68-425F-A90E-BFB51C5672EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60f27a320c6e1e188e713385107102f2950ffdf","datavalue":{"value":{"entity-type":"item","numeric-id":2391896,"id":"Q2391896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5eed2f41333b5d166a4acee5777892d35807261","datavalue":{"value":{"amount":"+0.788810133934021","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":"Q877764$66540B5F-FD62-4B20-92D3-EE6EF91094A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dcf980c84126cac6305578cc4cf6a0fa73dbc30","datavalue":{"value":{"entity-type":"item","numeric-id":5951892,"id":"Q5951892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a174a2cdbf533b9248fc792b657106d868323d0","datavalue":{"value":{"amount":"+0.7863542437553406","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":"Q877764$553AD48E-0965-457C-A093-DC11BA4A4C20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Every linear pseudo BL-algebra admits a state","badges":[]}}}}}