{"entities":{"Q1920268":{"pageid":1931010,"ns":120,"title":"Item:Q1920268","lastrevid":47407960,"modified":"2026-01-01T16:08:14Z","type":"item","id":"Q1920268","labels":{"en":{"language":"en","value":"Fuzzy logic and arithmetical hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 919400"}},"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":"Q1920268$8BD4E3F3-4A55-4523-B4D7-05B986EADAE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"49f2619c6b482243c0415962eeb9d900608ee410","datavalue":{"value":{"text":"Fuzzy logic and arithmetical hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1920268$BC744782-4855-44BF-8B15-0D319F90B1ED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7a026f5a8c67b44c0b93a182ef6ea0ae2e2f5cc","datavalue":{"value":"0857.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920268$45945010-1A5E-4180-B5F2-EA08412FAF01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8a9c9f8d31b242f2d2c1869c5511935c953336f","datavalue":{"value":"10.1016/0165-0114(94)00299-M","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920268$0BD91E18-EE1A-451E-AA22-54077BA3F7AA","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":"Q1920268$6029E2DE-5DD2-4F5E-9615-4F78ADA1F056","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920268$2B42797A-7476-4D26-9B7F-08559610185E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d08bb9a72a2259fe21464e6025b4a7e58a684cc","datavalue":{"value":{"time":"+1997-03-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1920268$1C7C6616-0305-4AFA-B8A1-342E1FF865C2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c74058d52c821333ecc63820bb68a8dcb1ed205f","datavalue":{"value":"For fuzzy logic in the sense of \\textit{J. Pavelka} [Z. Math. Logik Grundlagen Math. 25, 45-52, 119-134, 447-464 (1979; Zbl 0435.03020, Zbl 0446.03015, and Zbl 0446.03016)], i.e. for an extension of \u0141ukasiewicz's \\([0,1]\\)-valued propositional logic with graded notions of proof and of entailment and with truth degree constants for all truth degrees, the author gives a considerably simplified axiomatization. He also proves completeness for the restricted case that only truth degree constants for the rational truth degrees are accepted and that the fuzzy sets of premisses have only rational membership degrees. Finally he proves \\(\\Pi_2\\)-completeness for the notion of provability for this logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920268$55BBB5C2-E0C5-48C9-BEBC-F97FDF21B48F","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":"Q1920268$22F33050-8A8A-490C-9437-8AA536541D1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920268$27360FEC-5017-4A87-B7FB-66E3C689AE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920268$68510E6A-8E47-4730-A94C-BF56CA2FF694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920268$3E873E14-26AB-4D3D-81B6-AEB9F14DFB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920268$96C6EDF2-B083-47E7-80A1-93EB4B37E996","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46efbc0d01a305d546c68dae37f3413b29eab4e7","datavalue":{"value":"919400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920268$4DE8F3A0-D450-4282-84EC-E087FBEE315A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3355feec33114b6b421b6a4a6a795ddde1cbf34c","datavalue":{"value":"rational Pavelka logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920268$F11BF1C3-129B-4F08-B74A-588145BE74E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05f96e0802388cdfa1112d907089ec27cba4c5e8","datavalue":{"value":"undecidability of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920268$547FE9D4-43A7-4180-8803-4F0B855BBEE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920268$B46EF6B1-9899-4A1F-8468-AE925EF290A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920268$B7EF00F6-38C1-4638-946B-11798845E8F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d33a3238887730aa0f23979b1f93129b7ca231ab","datavalue":{"value":"rational truth degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920268$7893DBDA-56C3-4A77-A14B-72B0AA4B3681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1251cbf91b36fd8944e62fe0737cbd0fd61cf11d","datavalue":{"value":"fuzzy sets of premisses","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920268$F791EC50-23C4-4A71-82E8-6B110FE54E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b859b10b29ae0040b0064616604b7c89bba094a","datavalue":{"value":"rational membership degrees","type":"string"},"datatype":"string"},"type":"statement","id":"Q1920268$EEC355E4-A41F-4C09-93A4-217156665D57","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":"Q1920268$C15714F8-DE19-4334-9C1B-AACB911450AC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dfe7374602cf0ef9d153e5a043feb1f7aa89cc2e","datavalue":{"value":"Q56083681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920268$4AE0CEF3-AA4D-4DBC-9A6E-A5C39B219397","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c64e9da1b941d6228892787b2e027024c75a19f4","datavalue":{"value":{"entity-type":"item","numeric-id":3484813,"id":"Q3484813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920268$D9CD8BA5-F12A-4903-B4DA-4F6C28C6AD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44d24c901cb3e39b38e68f956d6e8b36bedefd5f","datavalue":{"value":{"entity-type":"item","numeric-id":4836227,"id":"Q4836227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920268$15313893-2D0D-425C-9AF2-268381D75DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edda81673e3bb1e6c3bc2ce7894966da82a9e946","datavalue":{"value":{"entity-type":"item","numeric-id":3890664,"id":"Q3890664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920268$9C77118E-2C1A-4068-83E0-DE6192F4275E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1920268$CC999246-83EF-4E02-9ABF-7020EEF49BFC","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":"Q1920268$B0111268-E6F9-4532-8F63-7C51E98A3740","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ed9d7a3836d3d3ca2bd7a4a8cd5438c36de71168","datavalue":{"value":"https://doi.org/10.1016/0165-0114(94)00299-m","type":"string"},"datatype":"url"},"type":"statement","id":"Q1920268$6AF6D7C0-415B-42BA-BAEB-CA3C5D0ECDA5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"670be680d933befff0f85fec19c6328c3462c413","datavalue":{"value":"W2025952124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1920268$F1ABE033-5E69-45DA-ACE5-F71D4E5FB9A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02a45568a6089a9733e78aa5acfb0d1285116da","datavalue":{"value":{"entity-type":"item","numeric-id":677082,"id":"Q677082"},"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":"Q1920268$AD5DC299-33E8-42FC-B94B-9DED32F0DBA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c48c93f30bc652563487c99cd2781706a802a1","datavalue":{"value":{"entity-type":"item","numeric-id":3367322,"id":"Q3367322"},"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":"Q1920268$EE53A23C-54EC-43B9-B2E0-084B1C61FFCA","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":"d9052ce13e7b13d6ae192f799b325262fce09ba3","datavalue":{"value":{"amount":"+0.8490797877311707","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":"Q1920268$A185745D-98A6-44D8-9156-0F2E6673EBB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317d2608ef05e525a4d9bf2a4a04d0bbe1f9ffcf","datavalue":{"value":{"entity-type":"item","numeric-id":4509110,"id":"Q4509110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"230662edf8ea6b13b0332db41670455aa6d83375","datavalue":{"value":{"amount":"+0.8490792512893677","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":"Q1920268$F522F465-49CD-412A-8F2E-0BEEB25AB760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d8ab6a95adde8c1eb94e20f32c26a343ca8c99","datavalue":{"value":{"entity-type":"item","numeric-id":1697340,"id":"Q1697340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e971653a712994add3444b66d10ee43c32b0ba4","datavalue":{"value":{"amount":"+0.832192063331604","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":"Q1920268$B69446C5-C72C-4105-99F0-C0173C8E0CEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1920268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1920268"}}}}}