{"entities":{"Q2784584":{"pageid":2795322,"ns":120,"title":"Item:Q2784584","lastrevid":83266676,"modified":"2026-05-07T06:55:47Z","type":"item","id":"Q2784584","labels":{"en":{"language":"en","value":"A natural deduction system for intuitionistic fuzzy logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1732831"}},"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":"Q2784584$2CC5188C-E98E-463C-A597-8B619DAD3EEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37c13895aa1a4ac8f4161c482c6a4a7dd7a09560","datavalue":{"value":"1008.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784584$367F5CB3-C695-4698-8C95-D5800BAB6E1A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784584$A9BA6CA4-E325-4A56-83EF-5511C8736C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb4465c1e4c8de201e147387c933ac41a7d412d9","datavalue":{"value":{"entity-type":"item","numeric-id":385018,"id":"Q385018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784584$AB0A7182-8BBB-490B-967C-96592324E5FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"730065f6e9d808e78e9979c0b5adf9d3d0a26e2f","datavalue":{"value":{"entity-type":"item","numeric-id":685345,"id":"Q685345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784584$3BE4D483-BA33-442F-B64E-A4D73B99889F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"464490692f51838d3848ce9e0091362fec8ecf0d","datavalue":{"value":{"time":"+2003-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784584$1F73C935-D228-44E4-A8C0-CF2836E3117F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784584$45747B82-DA91-463D-A4B7-50DA744EE2D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23b9d2d6e9f68704825225040507911ba4bb4a7c","datavalue":{"value":"1732831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784584$CEBD8014-0F5E-466F-B5BC-49E28A36AAAB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb765f45baa4f2f644e21bc342be7d90cc0ff552","datavalue":{"value":"intuitionistic fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784584$D945C55E-A97F-4A78-939E-997630AC49D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f57e7923ffb20be382fa3f67cd9a02764204c34","datavalue":{"value":"G\u00f6del logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784584$5850BE4D-BCDA-482E-833F-82F52CDE0FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784584$3E942E0F-51EB-4B8F-B676-DBF21B84DF5B","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":"Q2784584$B74C0295-1909-4C58-9A1A-36E29FCF66C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac58496b466697d7ab40e70923ebf7fab80e9b9a","datavalue":{"value":{"text":"A natural deduction system for intuitionistic fuzzy logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784584$AB3E8882-ACA2-44F5-9D6A-A43739E4A6FD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"75a890ea3f4886f7a4ee5a79a798daee19c5f3e0","datavalue":{"value":"Intuitionistic fuzzy logic (IF) is the logic of complete Heyting algebra over the real interval \\([0, 1]\\). This logic is equivalent with the first-order G\u00f6del logic based on \\([0, 1]\\), which is one of three main fuzzy logics based on continuous t-norms. The paper presents in detail a natural deduction system for IF which is an extension of the natural deduction system for intuitionistic logic. Completeness and the normal form property of this system are proved.NEWLINENEWLINEFor the entire collection see [Zbl 0970.00009].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784584$0A190290-B619-43FF-BDAB-7D2CB217070D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4b94695dfa82835fe743dcf7fcbe410a40ce7658","datavalue":{"value":{"entity-type":"item","numeric-id":279322,"id":"Q279322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784584$CA37103B-B136-4770-81F1-1BAA9E3DCBF5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3516a91cd7d6d402577aedea849e41c45273ae","datavalue":{"value":{"entity-type":"item","numeric-id":2753673,"id":"Q2753673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27c42fdfd461acf5acf6b953d15e5a5a1d7e5068","datavalue":{"value":{"amount":"+0.8105559349060059","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":"Q2784584$AC8FAD8B-042D-4507-B34B-F8FBC273C55A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87dacff00dc1618d28aa90a7265df902cf72920d","datavalue":{"value":{"entity-type":"item","numeric-id":1292063,"id":"Q1292063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427776a1e8e371aa8bed9ee8922a974f832b1c96","datavalue":{"value":{"amount":"+0.7971441149711609","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":"Q2784584$6F25681B-2FCD-4531-9245-48162F7719BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8488cbac7d72da42238b19ab26a19ce159b50695","datavalue":{"value":{"entity-type":"item","numeric-id":3822147,"id":"Q3822147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6d2618031a783a0841d99d577c08b387bd01a65","datavalue":{"value":{"amount":"+0.7943680882453918","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":"Q2784584$C31F7D25-841D-4AB2-B969-24252F940A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb483a6686c3a57c71a5f0e079f9b85e04628438","datavalue":{"value":{"entity-type":"item","numeric-id":3475246,"id":"Q3475246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99ea62124a8b79220aa17a9c51f42740aa908a65","datavalue":{"value":{"amount":"+0.793443500995636","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":"Q2784584$32815A48-BC3F-422C-8CE5-3A3F3FDEFE6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a4771264ab3f0ac79e53a8040e0f550ae70ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4441142,"id":"Q4441142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947ece48833528fce4d48b7e2dabd22f1d107e42","datavalue":{"value":{"amount":"+0.7877777218818665","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":"Q2784584$8965895D-1DC2-4D0B-8BF6-DBBCDBD8A143","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A natural deduction system for intuitionistic fuzzy logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_natural_deduction_system_for_intuitionistic_fuzzy_logic"}}}}}