{"entities":{"Q2871197":{"pageid":2881917,"ns":120,"title":"Item:Q2871197","lastrevid":51909248,"modified":"2026-01-20T12:46:58Z","type":"item","id":"Q2871197","labels":{"en":{"language":"en","value":"Handbook of mathematical fuzzy logic. Volume 1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6248938"}},"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":"Q2871197$40ED9510-4AFA-479A-B496-3E26A92965C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa5c6c43357395afca4a40e90e5ee14286b97481","datavalue":{"value":"1283.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871197$9742D034-39E4-4ECB-864A-521E2C42DCA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4faea9ea96f54af129daa2771004ab771cecfe4f","datavalue":{"value":{"time":"+2014-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2871197$01DE54F6-DD35-4F91-B9D2-03A39FFB23CD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a76f5cf4e9b65d085145841490fc2f7aa5f0bff","datavalue":{"value":"03-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871197$B23AA7AF-DD7B-4350-A707-3A0002C07A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871197$91BF8D43-BD5D-43A6-A6A7-DD7D8E4166A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871197$439AC1FD-D86C-4D64-8E37-3D0AC7FDF94C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"342a6161f41187e2c595daa41b09cee10ab1ace9","datavalue":{"value":"00B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871197$5CC68F10-6AFB-44D1-BC9F-CAD01CF40D34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5b4c30f187ce9a3471bcdb8600e422a0efd5851","datavalue":{"value":"6248938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2871197$51BEDCAD-1B6D-4069-89AF-CEE7982C37E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$F38C3D8A-6982-4B96-B1B3-4FE5F65C86DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$CBF131AD-A275-4B80-B31D-66DFC13871D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c805f5020b605b68a317808d727275b520ef7c9","datavalue":{"value":"MV-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$66324B80-45AB-4E57-B38D-D40B34F07B8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967d16be33d9c889d1ad8acaa6be639638549886","datavalue":{"value":"G\u00f6del-Dummett logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$50DEF92E-0FDB-4412-B25B-03CE620EFF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$B3C77396-DAA3-4170-841B-EE184F22CD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$ADDC1BAD-C73C-4F6B-82B9-A2680707C7A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6831ff210e267dbd38d03f80dce74d40ec14961","datavalue":{"value":"FL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$B41AA3A7-E6C8-44C7-95F6-217741C22AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8970d4681910c0fb972f8cc1f1362b61bc462d13","datavalue":{"value":"BL-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$286230E2-E12B-421C-A2AF-F24FF5AD1672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$36CC3444-9531-46B4-A1C1-4D52DBFE23D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12e104b74c7adc572dce26818cc0ea7191b77b50","datavalue":{"value":"arithmetical complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$03A8481C-3D68-4948-97A7-B50B61BCDEE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27fa983100260128d98b87253aec0fb97acfce3b","datavalue":{"value":"H\u00e1jek's basic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$9E439D46-8DE3-4817-8E7B-6E2953C33F81","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":"Q2871197$8E6E599E-C63E-491C-9B39-A0B5F7750704","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c435966ae4607563c752721880e963555a3dbca","datavalue":{"value":{"text":"Handbook of mathematical fuzzy logic. Volume 1","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2871197$9E8BA408-D682-4F46-B5A2-E78131E5462E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2447854af9e49988330696b9792b09f412c6ade7","datavalue":{"value":{"entity-type":"item","numeric-id":6535855,"id":"Q6535855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871197$BCC2D768-A420-4C20-AC62-F91C4A9338D3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"059baf730a4856c7176d818e2b76bac53a45c3be","datavalue":{"value":"Motivated by the need to define a good mathematical basis for modelling processes that include vagueness and imprecision, having a strong philosophical inspiration, fuzzy systems theory and fuzzy set theory are founded on fuzzy logics. Mathematical fuzzy logic can be considered a subfield of mathematical logic dealing with non-classical many-valued logics with a linearly ordered set of truth values. This handbook consists of two volumes (a third volume is in preparation).NEWLINENEWLINE Volume 1 provides an introductory overview of basic notions and results on the subject (``Introduction to mathematical fuzzy logic'' (pp. 1--101) by \\textit{Libor B\u011bhounek}, \\textit{Petr Cintula} and \\textit{Petr H\u00e1jek}) developing a parallelism with the classical counterparts of fuzzy logic, according to their complexity and metamathematical properties. Close connections between abstract algebraic logic and mathematical fuzzy logic (``A general framework for mathematical fuzzy logic'' (pp. 103--207) by \\textit{Petr Cintula} and \\textit{Carles Noguera}) open possibilities to develop particular technical notions corresponding to the intuition of fuzzy logics as the logics of chains. Two applications of proof theory are considered: a novel approach to tackling standard completeness, and extension of propositional fuzzy logics to a first-order language (``Proof theory for mathematical fuzzy logic'' (pp. 209--282) by \\textit{George Metcalfe}). Development of algebraic semantics for fuzzy logics is also presented (``Algebraic semantics: semilinear FL-algebras'' (pp. 283--353) by \\textit{Rostislav Hor\u010d\u00edk}), and particular attention is paid to H\u00e1jek's basic logic and its algebraic semantics (``H\u00e1jek's logic BL and BL-algebras'' (pp. 355--447) by \\textit{Manuela Busaniche} and \\textit{Franco Montagna}).NEWLINENEWLINE For Volume 2 of this handbook see [Zbl 1283.03002].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2871197$933792B3-E309-460A-A048-39C6C5F703E3","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2b87c2901b1d9462aa6fffa26502c8ee861836b0","datavalue":{"value":{"entity-type":"item","numeric-id":1062052,"id":"Q1062052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2871197$7ED62345-96CD-4E45-96F9-FDE9BA70288D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a584041762ead10cb520aa6417d11f15e0f75cb","datavalue":{"value":{"entity-type":"item","numeric-id":5892200,"id":"Q5892200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da921ffeb963e56474da09ca7b48d4c04f9b5380","datavalue":{"value":{"amount":"+0.8425847291946411","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":"Q2871197$D98D713C-F5C5-43FE-AF25-E21E61B000E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d87d6d564e3d9056c92d4f7f0baafcba575d167","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71b26de8d5fa548a1c816a692955a52330f89b58","datavalue":{"value":{"amount":"+0.8368263244628906","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":"Q2871197$5323D4FF-D6B6-4A25-B27F-D004EC123BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50ad7fa476a60269cbb7dcf9aa5cc0bca899b443","datavalue":{"value":{"entity-type":"item","numeric-id":2871198,"id":"Q2871198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e060a512dd6d5f063112767048d343b771666bb7","datavalue":{"value":{"amount":"+0.8362189531326294","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":"Q2871197$7728AB0E-6D2C-4811-937F-0A650119765E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c81588de18e195e1d61173755b79737cbff84e7","datavalue":{"value":{"entity-type":"item","numeric-id":5693579,"id":"Q5693579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7cb0f776b07b144b406d9ae60a9bcd109155c3","datavalue":{"value":{"amount":"+0.8355721235275269","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":"Q2871197$F71FE4D9-2456-4889-AEF4-483F99F75991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f4c66bd500b81043933b94774da6118d2d77094","datavalue":{"value":{"entity-type":"item","numeric-id":3503741,"id":"Q3503741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d2ecfa454901a05c72c11c6056980f302ad99df","datavalue":{"value":{"amount":"+0.8285849690437317","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":"Q2871197$D6F5A557-0DC1-47A3-A3A6-9CC4F684203D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2871197","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2871197"}}}}}