{"entities":{"Q677082":{"pageid":678931,"ns":120,"title":"Item:Q677082","lastrevid":63517581,"modified":"2026-04-11T13:42:01Z","type":"item","id":"Q677082","labels":{"en":{"language":"en","value":"Fuzzy logic and arithmetical hierarchy. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 994535"}},"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":"Q677082$4ABE4107-670D-426D-B5F0-CDB09BD45D4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"441ab369e10604719ebcf78d98ba604c217df7e6","datavalue":{"value":{"text":"Fuzzy logic and arithmetical hierarchy. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q677082$39BE9DDD-2382-4562-B687-080954A641EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39448240e843724497fa901b7aafe9439c3ba7ab","datavalue":{"value":"0869.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677082$ECD3E447-6271-438C-906F-55D221596B96","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1f6445f45476c41d11fa311fb3cf9b45c3f0af5","datavalue":{"value":"10.1023/A:1004948116720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677082$DFEAD362-3FC3-41E3-9A7B-2C0D3782EF98","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q677082$4B215D07-52A3-46DF-AAF7-61AAD4F96FBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"969b097b704dd3f2a213d901e804a3f90e3b7c8f","datavalue":{"value":{"time":"+1997-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q677082$A5C576A5-487E-4418-A740-FA31CDFEE57F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f17ed35c09036baed00a17ea79c84a565aa5b622","datavalue":{"value":"[For Part I see Fuzzy Sets Syst. 73, No. 3, 359-363 (1995; Zbl 0857.03011).]   Fuzzy logic RQL here means an extension of \u0141ukasiewicz's infinite-valued first-order logic by graded notions of provability and of consequence together with (truth degree) constants for all rationals of the truth degree set \\([0,1]\\). Fuzzy theories are fuzzy sets of RQL-formulas with only rational membership degrees.   The author gives a very simple axiomatization for RQL and proves the strong completeness theorem, i.e. the coincidence of provability and consequence for all fuzzy theories. Furthermore, he proves that there exists an axiomatizable fuzzy theory \\(T_0\\) (i.e. the membership function of \\(T_0\\) is recursive) whose set of 1-provable formulas is \\(\\Pi_2\\)-complete.","type":"string"},"datatype":"string"},"type":"statement","id":"Q677082$6D0F9E16-79DB-4AEC-AA46-647F1E039730","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677082$53327B86-7266-45FD-8F02-EFCD57A0FB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677082$1C321549-F40A-4FAD-8A4B-BA5194DA2586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677082$484434C9-4CDC-47E8-8B78-842BF8038A59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c447ea6567a1767fa1284ca745b28542e8c30d68","datavalue":{"value":"994535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677082$0E280267-170D-4D5A-81AA-802FA17A711E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q677082$ADBEF978-22F9-46DB-A60C-53E889C3B2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ed15b216f7cc9322caaf03e8a871a9b2c99d05","datavalue":{"value":"fuzzy logic RQL","type":"string"},"datatype":"string"},"type":"statement","id":"Q677082$2968E1A0-EED8-42A8-9EAB-57DE3F099D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36e49fff11d50207ea27f036431e824ab50fa9d5","datavalue":{"value":"extension of \u0141ukasiewicz's infinite-valued first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q677082$B6836A1A-0034-4037-AE2F-C373A7B01E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q677082$5777B2E7-3BC5-495B-BA6B-DABB7F0641CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2204efedd85f7b0ca457ab200e3cb82a7b01f6ab","datavalue":{"value":"consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q677082$F06F3ED4-5F98-4747-BA4B-0AE91797E039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e21aceb628d1bfed9d146ba2394d0c56cca9b6","datavalue":{"value":"truth degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q677082$26B2138D-09A2-4DB8-B732-7FF485FB03E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q677082$47204696-E652-46BA-8B64-44A0308B8E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e217b50616614f81c83ccf6b07919d5380c97cf","datavalue":{"value":"strong completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q677082$23F5AD30-46B0-46EA-B9CB-599E1CE7D418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60e6c52ab9840f94cfeb9fc1cacbf65a148cf12b","datavalue":{"value":"fuzzy theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q677082$3187C42A-82E3-4067-9582-9DA65401398B","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":"Q677082$AFCF2A22-4D87-4478-B159-37D3943BC801","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":"Q677082$E721F12A-D637-4D59-9C6D-508A80478A33","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":"Q677082$2AB9FD0F-5563-490A-82F6-F1DFF3398904","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"660889b6af9b1c706eacf768b1b2770f75e681c1","datavalue":{"value":"https://doi.org/10.1023/a:1004948116720","type":"string"},"datatype":"url"},"type":"statement","id":"Q677082$1C1713D3-DCE9-4FBB-98AB-40534A078CE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a7f32933e6b44d14a8f9f4d53501517c84d64ed","datavalue":{"value":"W1504992749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q677082$79A9396F-0FE7-4D8B-8092-396A3B98AD33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91e9bc522a7518c7eada2bf34fb931ec31fd883","datavalue":{"value":{"entity-type":"item","numeric-id":1920268,"id":"Q1920268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e2db85f2d34b9f8130d04ffee0ec86090e76f2","datavalue":{"value":{"amount":"+0.9099125266075134","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":"Q677082$8171D3A2-212F-461C-8B43-789DE837BD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a22e00a70eaaee8df7737fd755ede0d760f9cf6","datavalue":{"value":{"entity-type":"item","numeric-id":5951915,"id":"Q5951915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"746d493264ffcdc9d5c5d371d4262f11da5d2725","datavalue":{"value":{"amount":"+0.8165482878684998","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":"Q677082$E4750771-9341-4BD0-9DD2-A7E73A4F2F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cbd37e023e6b85e924500507973bf86bbb0d9e2","datavalue":{"value":{"entity-type":"item","numeric-id":3484813,"id":"Q3484813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0ed9087b8e11511f550b3d64ff74f45139bc44","datavalue":{"value":{"amount":"+0.7987701892852783","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":"Q677082$948BC140-AC41-465E-B775-7D9EC9E0A523","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fuzzy logic and arithmetical hierarchy. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fuzzy_logic_and_arithmetical_hierarchy._II"}}}}}