{"entities":{"Q1913299":{"pageid":1924041,"ns":120,"title":"Item:Q1913299","lastrevid":71802384,"modified":"2026-04-14T00:38:21Z","type":"item","id":"Q1913299","labels":{"en":{"language":"en","value":"A complete many-valued logic with product-conjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 881130"}},"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":"Q1913299$001842E8-111E-4426-8D83-69FFB07B26C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8768d76f39ff3818b7fc8b6deb0541fdfd20e974","datavalue":{"value":{"text":"A complete many-valued logic with product-conjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1913299$7C999599-3B59-41C9-8415-CEF49DD21CA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fff0dcf568dadb0e2894f22ebf0512ed5c2f478","datavalue":{"value":"0848.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913299$9BC67DBC-C61D-432E-BF1E-9D539E242588","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"57b9e9c10ea5b246d888f5dd9052325677efe66d","datavalue":{"value":"10.1007/BF01268618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913299$3A76AE09-0EFD-4519-AE74-60921B053204","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f60fe646c044641a88e51c899da6e67b19d59e","datavalue":{"value":{"entity-type":"item","numeric-id":195656,"id":"Q195656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$62A86EF5-0EE1-48A2-B6B1-62FF3E939808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c8cca1e831242552a06524008df67597ba7eb1d","datavalue":{"value":{"entity-type":"item","numeric-id":167896,"id":"Q167896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$BD5D70D0-404D-4F47-A5F7-F9F3874B7EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b9a14fb8844d2ae2b5c70144e3e3ede7df9cb55","datavalue":{"value":{"entity-type":"item","numeric-id":167895,"id":"Q167895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$40A0A8D7-B101-4985-91FD-0820981C1528","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$35C63E90-F965-4659-A344-07DDB05B20FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94a7e2bf9d629397ee3309cabed74ad329a0a61f","datavalue":{"value":{"time":"+1996-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1913299$6E48FBCC-2F8A-48EF-8C1A-3F1B1C3540F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6b92dc473f552d8c8a4e34f19e76f5f4cad831b0","datavalue":{"value":"Studies in the field of fuzzy sets related to triangular norms have shown that the infinitely many-valued logic over the real unit interval with 1 as the only designated truth degree and a product-based conjunction connective has not been discussed much till now, despite some representation theorems of \\(t\\)-norms which refer to the product as a kind of basic \\(t\\)-norm.   Choosing the product conjunction, a corresponding implication connective via residuation (i.e., both of them as an adjoint pair), and defining negation formally from implication and the truth degree constant 0 like in intuitionistic logic, the authors constitute the system they investigate.   The completeness proof is given via algebraic studies essentially like the corresponding proof for \u0141ukasiewicz's infinite-valued logic, but now introducing and investigating product algebras for this product logic instead of the MV-algebras for the \u0141ukasiewicz case.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913299$545B756E-A43D-4CCE-9295-B657775B4B8D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d657b6d3412c75416b1faf0735572c94c2285816","datavalue":{"value":{"entity-type":"item","numeric-id":586246,"id":"Q586246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$9978DE0E-893A-4B5B-8F61-BB05E406BC59","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913299$C0E974FD-2B3A-44DB-A640-E01A7BB24566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913299$17102562-1351-4B08-A835-66B5DE3CF465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913299$F52712AF-9790-4D26-BCA3-2313AE3BACC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dea929950e21a5aa27e78eea9abc15016f0feee5","datavalue":{"value":"881130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913299$7271CD98-2F4F-4798-8669-6548DEB2D16C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fee0b1c6981634b983ce7b84e9cd9ca0d7dc7086","datavalue":{"value":"axiomatizing product conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913299$01338A5E-AE4F-46D1-A87B-846E53084B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"035833e0e254ca70de52fd862a3eadd1b327c492","datavalue":{"value":"infinite-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913299$7DEAEA51-7B4F-4FEE-9B0E-3BD9841AAB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f37ece78cd481a2f08f113ce4ba2095ed1d3a42","datavalue":{"value":"product algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913299$BC874F98-3BBE-41BA-BFCE-F9940C5A51C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6c2d535e525c1e1d5ea7187efa822fbf373465","datavalue":{"value":"product logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1913299$97FD162F-A3DF-4DD4-9455-4703E91DA2D6","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":"Q1913299$7CF12D60-42AB-4AFE-9B0A-579D328921AF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75cf7d7c5b2cf7d3f70a5a557ff23d4d3d277118","datavalue":{"value":{"entity-type":"item","numeric-id":1055761,"id":"Q1055761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$CA55F1FF-10E5-45DC-A0C7-B21272418447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce47aaa57ed062610df59dbf8e315e80f656a8e","datavalue":{"value":{"entity-type":"item","numeric-id":4083730,"id":"Q4083730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$3EBF0B12-F212-456D-B66B-135264F847A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc888a076de43aba6ae566aed76169c6ee4074b","datavalue":{"value":{"entity-type":"item","numeric-id":5789040,"id":"Q5789040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$1D9D031F-5B69-4ED2-974C-C77C86CF8DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4469fa0edf0e19184fca5faf723484f83d192ec1","datavalue":{"value":{"entity-type":"item","numeric-id":1096414,"id":"Q1096414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$E706CB4B-9F4D-4659-B4B7-934156DD8C6B","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":"Q1913299$389046E4-D2D2-4635-8D49-E3DE426941FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5738e6320e373f1cd04778d845ca02095b9a5fb9","datavalue":{"value":{"entity-type":"item","numeric-id":4200260,"id":"Q4200260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$473C4C57-141E-44C2-8165-DF767921D743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1f31dd53d19be0f05700dbd73ab17ed2b036c1","datavalue":{"value":{"entity-type":"item","numeric-id":1920268,"id":"Q1920268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$54ED721E-F0C6-4914-A3F8-2975EDEF4802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d2809f117f932fb2c4f9205b1cdb5952610f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$1926E1D3-DC9F-4DBE-B08A-537411E50A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"228dbdcca4afec7cac2684088cc2167634853f36","datavalue":{"value":{"entity-type":"item","numeric-id":3484812,"id":"Q3484812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$231B3BBF-BB57-4F65-BF50-214F398BDC44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099b51b2818142cfcfef716ea26bc9e9c33f0bd0","datavalue":{"value":{"entity-type":"item","numeric-id":4325548,"id":"Q4325548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$0F7BD6F3-4468-47DC-900F-D1A207189869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c8578012b3b86ed983646275e6747df9ccf1c35","datavalue":{"value":{"entity-type":"item","numeric-id":3874181,"id":"Q3874181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$6434AAA7-5BCF-4F8F-B74B-74DF72F758BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582f6afa0c98cd4512049be58f12cf48ea4c5d16","datavalue":{"value":{"entity-type":"item","numeric-id":3256302,"id":"Q3256302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$A65A4B80-7104-467B-AF84-E5B2E2534436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881ffbd377b5555af190ede35ff3772596d007ca","datavalue":{"value":{"entity-type":"item","numeric-id":3851085,"id":"Q3851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$EFAE60BA-5760-4D2F-9BAC-B3C051290905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad03eae4c43cd4a452a47951cea25fc001173e","datavalue":{"value":{"entity-type":"item","numeric-id":5730522,"id":"Q5730522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$6582AF53-B8FA-4DDC-A73B-2529BB979F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f538de0fb504f2b0b674256b62b645861d4899","datavalue":{"value":{"entity-type":"item","numeric-id":3336431,"id":"Q3336431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$D886F9FC-9BD3-40D5-B892-6B6D8015AB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dbe707b795fc1df6f2022bec5b8ea8fdb60de7c","datavalue":{"value":{"entity-type":"item","numeric-id":1311425,"id":"Q1311425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$051D8E54-D9FD-4453-A80A-44CB94049C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e188b492e07304cf5780ded89ab2793e9c99071","datavalue":{"value":{"entity-type":"item","numeric-id":1096617,"id":"Q1096617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1913299$A6E9031B-EF76-4C78-9D32-F56A9BED0672","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bb2cca1714d18ecd2e29ee56c198d173f2f4bc5c","datavalue":{"value":"https://doi.org/10.1007/bf01268618","type":"string"},"datatype":"url"},"type":"statement","id":"Q1913299$5645B7B5-85F5-4D13-B161-5B446B510728","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03708a014c8f375b4eed8036d0bb434142e9524d","datavalue":{"value":"W2024065710","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1913299$B542BE5B-2F57-46D3-9C46-F08F2EE3A954","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4809cc0b360576ed1dee6cf1a15ad2d656bf5ce0","datavalue":{"value":{"entity-type":"item","numeric-id":2702341,"id":"Q2702341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64dd184372c0422d7ebc68c02fd3c973c7b7242","datavalue":{"value":{"amount":"+0.7957765460014343","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":"Q1913299$3E73C231-4FB8-40D6-87E7-33D94698CA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5326ce57c8822cab4c3e2b04204723c1b9c7a034","datavalue":{"value":{"entity-type":"item","numeric-id":5692481,"id":"Q5692481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace32e02fd650607b3c7ea6f8c9baf2bda8409bc","datavalue":{"value":{"amount":"+0.7934966683387756","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":"Q1913299$B05687B4-63E1-499C-B8E1-926F025E3E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a7e4cdfc46d8a94cc24a474f923ba4bc463c23","datavalue":{"value":{"entity-type":"item","numeric-id":3819042,"id":"Q3819042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ca04e6297d239c0df9ee8434d3284cd2fc7f72","datavalue":{"value":{"amount":"+0.7713388204574585","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":"Q1913299$57C20184-5161-4B9F-9029-94263A851B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bcb46901ac2a34501151b94fe273c9fa1a3afdc","datavalue":{"value":{"entity-type":"item","numeric-id":701745,"id":"Q701745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e28d1dedfa4d45929e578e2f9bf97fc70b4d1770","datavalue":{"value":{"amount":"+0.77115398645401","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":"Q1913299$019F3D3F-7871-4787-91D2-CC5B2D2D997A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"028668f2f70f3880b0927e4090d8bc46e19d5b81","datavalue":{"value":{"entity-type":"item","numeric-id":1282901,"id":"Q1282901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"195f458d8de2ebf0287e22b37581989e70d4c453","datavalue":{"value":{"amount":"+0.7704716324806213","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":"Q1913299$C79ACE92-D96E-4807-9CE8-89C4BF6C6EAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete many-valued logic with product-conjunction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_many-valued_logic_with_product-conjunction"}}}}}