{"entities":{"Q2519539":{"pageid":2530282,"ns":120,"title":"Item:Q2519539","lastrevid":74169363,"modified":"2026-04-14T18:46:18Z","type":"item","id":"Q2519539","labels":{"en":{"language":"en","value":"Proof theory for fuzzy logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5497641"}},"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":"Q2519539$F22227DB-603A-4797-B406-4BDD69979430","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"858dec2e6250ab1876539f64bc922c3f97f5b4f0","datavalue":{"value":{"text":"Proof theory for fuzzy logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2519539$AC1E4304-210B-4BAC-8534-D5233B4FB85C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"06a770c005b0367d4359b0e646291648e6f92c19","datavalue":{"value":"1168.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519539$056F0472-EFDA-4C7D-B653-FCCC7BA230C2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70d9afce25f52b44bd23bf4c8de46d98981f1a6b","datavalue":{"value":"10.1007/978-1-4020-9409-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519539$C1D5E427-1FD8-40EF-B0DF-A5BADCE3F03D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519539$08902064-8439-4B90-BBA2-9DE4D4EB60C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93e92a0d60d1f935c8325902f2920a756a60ccaf","datavalue":{"value":{"entity-type":"item","numeric-id":232654,"id":"Q232654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519539$66CE7B27-72E3-4DDE-A8F5-F60200DC9F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519539$4A08B86D-346B-41A7-8B3A-C189388EE86B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"059d67558a7cf3b6a152997163f7ee7dfecaafdd","datavalue":{"value":{"entity-type":"item","numeric-id":232650,"id":"Q232650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2519539$A818CBFD-40E3-42B3-8F21-B93E64FC61D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b4ba3f9918c1a78f7dd009f97873681096874e6","datavalue":{"value":{"time":"+2009-01-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2519539$6B1FC780-8A0A-41CB-B053-FEEAC460C9AC","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8a7ecccb51b9a37a4c1a875db36d6a4c5e12eb67","datavalue":{"value":"The class of mathematical fuzzy logics is a natural extension of the class of t-norm-based \\([0,1]\\)-valued logics. The investigation of these logics started with \\textit{P. H\u00e1jek}'s seminal monograph [Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers (1998; Zbl 0937.03030)], which developed the logic of all continuous t-norms. The core basic examples are the infinite-valued G\u00f6del and \u0141ukasiewicz logics, and the product logic. All these fuzzy logics usually are determined by algebraic semantics, and have adequate and rather natural axiomatizations by Hilbert-type calculi, sometimes, however, with infinitary deduction rules.  After a careful explanation of these basic facts, the present monograph offers a study of proof-theoretically more interesting Gentzen-type calculi for such logics. However, one has to use hypersequents instead of ordinary sequents, to get suitable, adequate axiomatizations. Nevertheless, only for some of these mathematical fuzzy logics, Gentzen-type axiomatizations are known, particularly for the core ones.  Main emphasis here is upon the propositional logics. But there is also a chapter on Gentzen-type calculi for first-order fuzzy logics focussing on analogues of the usual Herbrand theorem and Skolemization.  This monograph is a well readable and up-to-date presentation of its topic, which clearly indicates which interesting results have been proved, but which also shows how much remains to be done. It is excellently written by some of the leading experts in the field.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519539$3229D837-5621-4B1E-85D8-1F5D9E81DA8D","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":"Q2519539$B14CDCC0-53D3-4A9B-82F7-189BB6BDAA0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519539$12FE076F-80BD-494E-A08E-0A7DE5AC544B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519539$A5D6DA8B-6CBC-4527-B60D-A2A0B961A1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519539$F957FB44-85E1-49FE-9616-007E3B3183B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519539$6A9600C2-13AB-4ACF-A82B-2CDC1688BB52","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"828f8e8979054ff7cb291743e215dfe66ceebff9","datavalue":{"value":"5497641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519539$20DF8CB1-F01A-4295-885E-5BE883D8B50B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dabf0147a2477f9d5b36f07617332c9ddcf9e122","datavalue":{"value":"many-valued logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519539$280458FE-7E9B-45BD-A263-E006F244E2B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"676a1544c6fe2fbd5ba6d89fe50eea96151de854","datavalue":{"value":"mathematical fuzzy logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519539$9D9C08C5-C761-4C90-877D-8EA8C9DC8531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06548c6a5a45d66172333f7f6210353c12d5471","datavalue":{"value":"proof theory for nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519539$95D9DF48-D6CD-407E-A5A6-E9FA763524E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5517bc552e0cda217175d394f1ca4845e3522e11","datavalue":{"value":"Hilbert-type calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519539$B8079A1F-C13D-4DB9-92CA-CDEA70975252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5753fb7c46fc77f15d890e38a0969c2fa2dfb41c","datavalue":{"value":"Gentzen-type calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519539$116E25AD-4E30-4D19-89B8-9114E1D9CF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7639d1040c7017ae5d014d2c1b372530bb6003a5","datavalue":{"value":"hypersequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2519539$02457613-6AFA-4A9F-A4DB-43754090F4DC","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":"Q2519539$93228354-2DA8-4197-9432-A21EF10C22F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b69cbaae38fba07b07d781c5268d07d231b1303","datavalue":{"value":"https://doi.org/10.1007/978-1-4020-9409-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2519539$DE9EE15E-A271-418F-9409-1C502C091BF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"096c4a6055b7c6c0842963624e1d02f4994ae700","datavalue":{"value":"W607239742","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2519539$33D67D71-2509-4539-B04C-07427AC7C44D","rank":"normal"}],"P1643":[{"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":"b796b7a479113a1127f5b6991711b8a3cc0caccb","datavalue":{"value":{"amount":"+0.85102797","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":"Q2519539$1A80C3D5-16D7-4D39-870F-9C4C059FA8DF","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":"b23ced4c7b81797f4ab3e463445f811ce17eeb07","datavalue":{"value":{"amount":"+0.84178925","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":"Q2519539$5FDFBB43-3027-4B1D-BEA6-10AAB1B7E4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cd0a830c556e55eb12f2f9fd5eb3365dcc211f","datavalue":{"value":{"entity-type":"item","numeric-id":3021911,"id":"Q3021911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10ffa8ac08f92a64782a6f64791ba3fc44b83504","datavalue":{"value":{"amount":"+0.83396155","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":"Q2519539$EB0D68BA-A57A-413F-899C-978074FD4B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1888c651b7faadb1ca2a576fca8237d7c2a093a8","datavalue":{"value":{"entity-type":"item","numeric-id":3410679,"id":"Q3410679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c227d125b5bda3a544a79f45dde9b19498c49c6","datavalue":{"value":{"amount":"+0.8129151","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":"Q2519539$D6CC0FF9-4A5D-46EB-A462-A2B4EA3BDB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90c5a36cdb87b62f5f35e922417c6e24234e5cee","datavalue":{"value":{"entity-type":"item","numeric-id":2568251,"id":"Q2568251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"210ae916736e5447a1594d7a4e748490368659e7","datavalue":{"value":{"amount":"+0.801636","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":"Q2519539$E8D35B8D-C85E-4D0F-BB00-F561DC2FE0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c2adf40db2769cbc48c4c2f8ae4cef13aa3f271","datavalue":{"value":{"entity-type":"item","numeric-id":4549474,"id":"Q4549474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9abe30a98472f713a0895065b064657fc606e9","datavalue":{"value":{"amount":"+0.7920536","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":"Q2519539$E2446706-CCE0-4CF3-AD50-14FDA5023465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f57e4419d829477fd35d8f79726e195dbd83902","datavalue":{"value":{"entity-type":"item","numeric-id":884954,"id":"Q884954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28bfec316afe6de79e533d12d7e882bff4f5e8c0","datavalue":{"value":{"amount":"+0.79085684","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":"Q2519539$A667A691-7211-42EF-9DEA-F6DA1B1F9177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b7d915035006ff2416ec73c5894a12cfeb2dbd6","datavalue":{"value":{"entity-type":"item","numeric-id":5686977,"id":"Q5686977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6c856f854f444b5b87c216e52cee2d45498fa8","datavalue":{"value":{"amount":"+0.7902477","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":"Q2519539$031AF29D-9AD7-454E-BFC1-8BD579D5FE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"372eca999c4889f2ed26d08c9ab5860901485266","datavalue":{"value":{"entity-type":"item","numeric-id":4244877,"id":"Q4244877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3223433d2e70db799ce35fd859b3ca271c9be570","datavalue":{"value":{"amount":"+0.7897905","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":"Q2519539$D702B83A-42B9-452C-A67C-BBD7B624512C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b518682764aac9e5df19f409f746a2a8c40a50","datavalue":{"value":{"entity-type":"item","numeric-id":2492318,"id":"Q2492318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ee660561cba895b7b4332f7858b360f2642d47","datavalue":{"value":{"amount":"+0.78918415","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":"Q2519539$633EB860-025A-4537-BB42-C19EA9CA845B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory for fuzzy logics","badges":[]}}}}}