{"entities":{"Q377463":{"pageid":379230,"ns":120,"title":"Item:Q377463","lastrevid":51859586,"modified":"2026-01-20T10:12:42Z","type":"item","id":"Q377463","labels":{"en":{"language":"en","value":"A short proof of Glivenko theorems for intermediate predicate logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6223049"}},"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":"Q377463$F61C4E45-A63E-411C-BAA3-ACD7FA17E671","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c284cd4308d932e8155368e58e343bbde00aa6b2","datavalue":{"value":{"text":"A short proof of Glivenko theorems for intermediate predicate logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q377463$A6DB70CF-911A-45C8-9AF4-F787259BEE58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ba86f7c53749b0b2c618baa1d7f7f10cc68ea3bb","datavalue":{"value":"1316.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377463$3F1287E8-F640-4E57-A690-C021547DB54E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43cb4ceece8110a638d00a20c037f220289116be","datavalue":{"value":{"entity-type":"item","numeric-id":286707,"id":"Q286707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$46B7B90E-4C9D-41E8-A4F1-B91CF4F8488A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$61A6F56A-CC79-4EC3-938F-862722E4464A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"102ef688e1f1ee42ad21d8460f0995ebefcc5ee1","datavalue":{"value":{"time":"+2013-11-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q377463$54472E79-BFFC-422A-855B-0D5DB066B2A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a30efbf1e2963ed90b4da135e212e58132dfa71","datavalue":{"value":"http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-94966","type":"string"},"datatype":"url"},"type":"statement","id":"Q377463$CF6B0E3A-0B80-431E-8582-D50B9C7FF586","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fff2ec94062f648c3d33449dc8c206618c11cfe5","datavalue":{"value":"This short paper deals with Glivenko-type theorems for intermediate logics, which are, among other things, shown to follow from the deduction theorem. In the terminology adopted by the author, the original Glivenko theorem shows that the Glivenko theorem holds for (propositional) classical logic over intuitionistic logic (IL). So the paper contains a short proof that for any set \\(S\\) of sentences, valid in classical logic, the Glivenko theorem holds for (a) IL + law of the excluded middle for sentences (REM) + \\(S\\) over (b) IL + \\(S\\). From this proposition, the well known original version of Glivenko theorem and its version for first-order logic (with additional double negation shift scheme) as well as infinitely many other variants of Glivenko-type theorems can be obtained as corollaries. Moreover, (a) is the biggest logic with this property for (b). Further, if \\(S\\) only contains \\(\\neg\\neg\\)-stable (in intuitionistic logic) sentences, then (b) is the least logic for the given (a) with this property.  The paper also contains a proposition characterizing the double negation shift (DNS) axiom scheme in the domain of intermediate logics. DNS is shown to be the weakest scheme deriving classical logic in IL + REM, and the strongest one among the \\(\\neg\\neg\\)-stable sentences valid in classical logic. It is shown to be independent from REM, and the latter is shown to be unable to derive any new \\(\\neg\\neg\\)-stable sentences in intuitionistic logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q377463$8D3CAF50-7775-417F-AAD2-44384C4D9266","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f46f502d79fa3cf8b9cb4b3f8aaafba82f984805","datavalue":{"value":{"entity-type":"item","numeric-id":518746,"id":"Q518746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$063225C3-EAE6-43CF-8078-FA319312F7A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377463$3B49105E-904A-4942-9C53-FE9D803B13FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377463$54CC4A15-6139-40B1-A48F-1B302FF04BC5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"017c31a9f8a1375387f0a1683bcf426df17a0c3d","datavalue":{"value":"6223049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377463$C046322C-FEA1-420F-A3E3-78AC373AF201","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8ea5a92b1759cef1a2417e84c1a0f66f66e4d2e","datavalue":{"value":"Glivenko's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q377463$4E81FAD8-9C3B-4D06-857E-AB181522A288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f6ba1b8c7ab4586bef2806bae272d8dd878fd50","datavalue":{"value":"negative translations","type":"string"},"datatype":"string"},"type":"statement","id":"Q377463$27DA4BCB-4D73-4CA5-A990-15C1391122E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b38afb6a1f73c2390a409095d16aa67e02f9e90","datavalue":{"value":"double negation shift","type":"string"},"datatype":"string"},"type":"statement","id":"Q377463$9C6E0BF7-BF66-4C3E-9B8D-51972CF3BFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4482628b64fd8cde2b34062f718645e00d9f3ce5","datavalue":{"value":"proof-theoretic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q377463$0792BBD9-2F29-4F8F-83E7-011163BE5F55","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":"Q377463$25D16E85-3217-4596-83F9-E0F42051E417","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be55e4a455ab7648a690d72dbea61e4a5a087f53","datavalue":{"value":"W2044185428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377463$4BCEA2A6-F59F-49F0-8434-A38FB92D4A0E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$6D244E84-AEB7-425E-B477-590025E09750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1902d07b8f8b12b81b264ceef664582c4e6dcda","datavalue":{"value":{"entity-type":"item","numeric-id":1938390,"id":"Q1938390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$A8AB9C2A-C227-43E1-91E3-1411595190FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e2c2b01fad4a983c99ac89d3f4df75d551130","datavalue":{"value":{"entity-type":"item","numeric-id":5654019,"id":"Q5654019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$6C9890EB-848A-4EEC-96DF-221C127C9AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$9EC90D17-52E9-4F14-9CAA-FCBAFBF5F53A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f5f4acd56522c4d0768c024603aed4365179f67","datavalue":{"value":{"entity-type":"item","numeric-id":5803251,"id":"Q5803251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$88DA5562-B55D-46CF-8756-E8EEE9361BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f080ff978bcea740295f57736488b2dcce4d0fcf","datavalue":{"value":{"entity-type":"item","numeric-id":1035660,"id":"Q1035660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$E1E86656-011C-4FD9-8712-422F6C829499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"556c63d3d5fbb69adda2aaeb321f31370f38a3b9","datavalue":{"value":{"entity-type":"item","numeric-id":4716271,"id":"Q4716271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$82E46812-280A-4F83-81AC-A8FA8E29C1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d124c2e517968ed2c6e8d8aa40c8c245619979c3","datavalue":{"value":{"entity-type":"item","numeric-id":5720188,"id":"Q5720188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$35679F2F-1043-4153-A495-94A9B6350F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4977850ce5142634f32984b139abed4ce1f93e","datavalue":{"value":{"entity-type":"item","numeric-id":5518354,"id":"Q5518354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q377463$DCA38827-464C-4F46-8BB8-EEBDD793A76F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"837da8ca4e0eaae8d3969a6e906f54ec0c285d5f","datavalue":{"value":"10.1007/S00153-013-0346-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q377463$72129C7F-C9B0-4F3F-A827-1D4FD0EECD63","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085f544a6332525abf44494e49a42d29de60addd","datavalue":{"value":{"entity-type":"item","numeric-id":2804042,"id":"Q2804042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb6f7feac4015a2c410b583bafbfd0bef26a4f1d","datavalue":{"value":{"amount":"+0.8350623250007629","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":"Q377463$2D567E87-40B7-4E52-B59A-8E96BAF5D259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8658f3545f5a679b218a89805347fc64a1cd2a2a","datavalue":{"value":{"entity-type":"item","numeric-id":1938390,"id":"Q1938390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe160269a8dbc622549bc8b284d195e5c9ce478","datavalue":{"value":{"amount":"+0.8158038258552551","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":"Q377463$1B50E0FA-216F-4816-BA43-8C586D77681B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2618cd251419a4ab76994643a3e4a2ebd8bea1b1","datavalue":{"value":{"entity-type":"item","numeric-id":4876809,"id":"Q4876809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b4c82620ab05c0d545276668548e3267b5be15","datavalue":{"value":{"amount":"+0.8135963678359985","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":"Q377463$5B8542B5-C4CD-453B-B2C1-DE7649D9B493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e52b873fa27c760854dfcb3a7663a4593d8eb486","datavalue":{"value":{"entity-type":"item","numeric-id":931403,"id":"Q931403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90b4c82620ab05c0d545276668548e3267b5be15","datavalue":{"value":{"amount":"+0.8135963678359985","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":"Q377463$165BC35E-9D07-4233-B3CB-68A792A00498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21222c20327fbb0efd11927d10fed7d73956be7","datavalue":{"value":{"entity-type":"item","numeric-id":3416119,"id":"Q3416119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b43ba430dc4b5215e7d6a0a917130579a64f34b","datavalue":{"value":{"amount":"+0.8085917830467224","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":"Q377463$A8F78E5A-5436-4B9B-81D2-2F1C13743628","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:377463","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:377463"}}}}}