{"entities":{"Q583197":{"pageid":584964,"ns":120,"title":"Item:Q583197","lastrevid":62940591,"modified":"2026-04-11T09:07:06Z","type":"item","id":"Q583197","labels":{"en":{"language":"en","value":"Some results on intermediate constructive logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4132130"}},"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":"Q583197$C8D2B6F0-0FD5-4D1A-AE25-07929030C581","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5919796e6600fbfef1466fbf41960deae5062cfc","datavalue":{"value":{"text":"Some results on intermediate constructive logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583197$29707EF9-6253-4994-90D7-EAA89AEA19E4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d4bacb032b4734370b33770d2c9a1365d530ba73","datavalue":{"value":"0692.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583197$C7A17824-BD1F-4AD1-AF1F-16A183CE1C68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583197$AB3D4800-98A6-42E7-8DE0-B45221D33AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1c3fa95c1005d09eff8ff2b881875054b11a800","datavalue":{"value":{"entity-type":"item","numeric-id":583193,"id":"Q583193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583197$A87368F8-D9E6-4C18-B8BD-D1450613A543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583197$1B754084-9401-4637-9DF4-1CA6F91953E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"185ef1dc4d5f69881d151a0539abdc871b199f5d","datavalue":{"value":{"entity-type":"item","numeric-id":583195,"id":"Q583195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583197$08C0E46B-FD01-4BAB-BAD6-408CADBB3799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f956f73617764b0eab75f41c7abc5a492650b8e","datavalue":{"value":{"entity-type":"item","numeric-id":583196,"id":"Q583196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583197$4651D5A8-4832-41EB-B046-FBEC2ED7AAF8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583197$3F0C0A99-DDAE-461D-8B02-FD13E91FC871","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q583197$F2B00E07-B1F3-465A-B68B-4BF6D012AFA8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8fcc81fb92d9c4b0595cdc89366015eea81471c4","datavalue":{"value":"The authors illustrate some methods applicable in the study of intermediate constructive logics, i.e. the logics intermediate between the classical and the Heyting propositional calculus having the disjunction property. A general characterization of maximal intermediate constructive logics is given, offering the possibility to obtain a new proof of maximality of Medvedev's logic of finite problems [see \\textit{Yu. T. Medvedev}, Dokl. Akad. Nauk SSSR 142, 1015-1018 (1962; Zbl 0286.02028)]. A syntactic procedure for proving the constructivity of a propositional logic is described, allowing to investigate the systems for which no Kripke semantics is known. Also, a new semantical characterization of Medvedev's logic is presented, which is used in a new proof of Friedman's conjecture [see Problem 41 in \\textit{H. Friedman}, J. Symb. Logic 40, 113-129 (1975; Zbl 0318.02002)].    The material contained in the paper is presented clearly and precisely.","type":"string"},"datatype":"string"},"type":"statement","id":"Q583197$BCD09080-EE37-44CD-A014-5996D921792A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583197$EE4239A6-75B2-4919-98BD-9BEF1D093ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583197$42A3FDA4-4227-42DF-9FD4-E6FAAE5ED159","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c62e4dd92df5c4c6560066ab3321a45c3aa68dd","datavalue":{"value":"4132130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583197$1D75A3FF-5F13-456B-BDDB-1856EE0F1865","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q583197$0B3D1F03-7B32-4FF4-BEB8-D4FCAABB59A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q583197$BDBA2880-CB81-4CB7-8454-A5CC5A9EF696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8349e2fe496da98ef4963e03c1ab42ac9054a3d9","datavalue":{"value":"intermediate constructive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q583197$4184F6AC-060D-4B8C-A317-97A71AE83E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"233d5cce9759e3dacde804147a0965bdb03850c4","datavalue":{"value":"Heyting propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q583197$7E722EE2-B098-44C6-BB63-287CEDEE4AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q583197$0D622878-B382-49B6-BF76-1B2E70F72914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6f173e698b23886dc8cdc1044ad8bda3e429356","datavalue":{"value":"maximality","type":"string"},"datatype":"string"},"type":"statement","id":"Q583197$2EB71B37-AE0D-4B7A-ACC2-88761434D7D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"763196c8fef992ae096291dffec7cb10ddd7b7e3","datavalue":{"value":"Medvedev's logic of finite problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q583197$1DBA69F2-7CA7-435B-972F-BEABB1CA1A0D","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":"Q583197$27EEB153-7DB5-436D-A677-71B434217BAB","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":"Q583197$89513FD5-F842-494A-AE4D-604088FFE643","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39f958570c77300207fcb1acf964a3beb0c19a8b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093635238","type":"string"},"datatype":"url"},"type":"statement","id":"Q583197$554D7B8E-3349-41B8-AA8D-78C056FC97D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a14192a1db81f19cbce2365c207a925862abd4cf","datavalue":{"value":"W1968663039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583197$4640114C-A618-47FA-91E0-8D8CF40197C5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a90a04571e09d7ccfca2f7a8357ff82132d779b","datavalue":{"value":"10.1305/NDJFL/1093635238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583197$8BC71C9B-C78A-4281-B5F9-5CE50E392449","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58ec534e37564ff0db18ec1209852854293b5fd4","datavalue":{"value":{"entity-type":"item","numeric-id":4283073,"id":"Q4283073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2102ae16faaab40043b5b7bdeff0a590ab0d597b","datavalue":{"value":{"amount":"+0.8557533621788025","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":"Q583197$EE815A38-EA70-4513-8B6D-A751B0DA2AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed083349616f2da5d7c34bf347441d9ef4c59bd0","datavalue":{"value":{"entity-type":"item","numeric-id":1097260,"id":"Q1097260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28b6abd6f407fed2776c7525d0fd5f690e152d5e","datavalue":{"value":{"amount":"+0.8087676167488098","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":"Q583197$812A97C4-E424-474F-96C0-80A42B8364C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3920737fae687a16de881e33c11f75c5ab930bbe","datavalue":{"value":{"entity-type":"item","numeric-id":2563458,"id":"Q2563458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"025db81aefdb5a0e8fc4382c45ff1f24c90b9cf6","datavalue":{"value":{"amount":"+0.8084743022918701","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":"Q583197$CA946715-8F1F-49FF-83E2-CB5C1B16B7DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cae299b78fc0bf1394dcf3a1b3c49e5c0979a1","datavalue":{"value":{"entity-type":"item","numeric-id":3973194,"id":"Q3973194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afef55fac72574764316fc44e87cf8bf8b595629","datavalue":{"value":{"amount":"+0.8027805685997009","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":"Q583197$917011A4-6C63-404F-92B4-8A09517B138B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"186e701f2184d430f217ee0e768c79906a128f9c","datavalue":{"value":{"amount":"+0.8005603551864624","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":"Q583197$51198EBC-9B68-4297-9A7C-276869611CB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some results on intermediate constructive logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_results_on_intermediate_constructive_logics"}}}}}