{"entities":{"Q1187547":{"pageid":1198296,"ns":120,"title":"Item:Q1187547","lastrevid":67070223,"modified":"2026-04-12T14:49:07Z","type":"item","id":"Q1187547","labels":{"en":{"language":"en","value":"The Gentzen-Kripke construction of the intermediate logic LQ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 39467"}},"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":"Q1187547$7005A4D4-C521-40A2-864E-1095BAFD453D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"50f8e95beec4d442b170a795bf5d165fa34663e6","datavalue":{"value":{"text":"The Gentzen-Kripke construction of the intermediate logic LQ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1187547$E105C95F-628E-44B2-87A5-9EB47DC29DC0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"059439d159ad19b7ad8cf95cd7ae3d24ec1e2fda","datavalue":{"value":"0771.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187547$6EE1ECC3-199A-47C2-99EA-30681F4A804E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bfdbc4a2ad3e39f1d3ddf9a7cce10575529b4c","datavalue":{"value":{"entity-type":"item","numeric-id":516416,"id":"Q516416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187547$B8585EBD-7112-49F6-A050-0CCF10BFF03E","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":"Q1187547$5F0C6BE9-EB46-493C-9BC6-5B34DDD770BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e4d962d2dc96d2f5a9a4662218fd9d693008ec8","datavalue":{"value":{"time":"+1992-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1187547$0B34591D-4092-400E-B7E0-8261BE894680","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"675941c3e80a478b1ea5d260eac3a9bb6824252e","datavalue":{"value":"The intermediate logic LQ is is a logic obtained from intuitionistic logic by adding the weak law of excluded middle \\(\\neg A\\vee\\neg\\neg A\\). A Gentzen type formulation of LQ has been given by the reviewer [Stud. Logica 47, 41-48 (1988; Zbl 0658.03016)]. This paper gives a construction called subformula model for LQ by using the Gentzen type formulation and Kripke type models. Completeness is proved. Further the decidability theorem is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187547$EE9FE6B2-A3A3-4E4E-A4F4-A80E2EDDAE8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187547$439BF163-6749-4EE5-AE7B-51DF8EEC692E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"11147ccaf87c13d5431e31168d45fc2536f7dc21","datavalue":{"value":"39467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187547$6F78DC20-5E9B-4086-85B5-500F3EA5690A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187547$77411162-D64A-4572-A80A-5395E21FBBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bc281abb8f30b7065ba66bc378090fff1b0c2ba","datavalue":{"value":"weak law of excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187547$17156759-BAF4-45B2-8B83-DB938F2E09D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"733ed0bd3a2cd0f2c0f020a0e98e5801efa4dfe1","datavalue":{"value":"subformula model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187547$5282542D-FB37-425D-A037-A72658924552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14ff258a4cb02be4ad350540abbd1fd51ac27976","datavalue":{"value":"Gentzen type formulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187547$9A40A01F-2095-403B-8D8A-1B23A95CDAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0bc0cdd185e081f9db96425b427144569b6942e","datavalue":{"value":"Kripke type models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187547$C0D0DFD4-9ADA-484B-8B09-EB74B7D0A4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1187547$D329FA79-CD44-473C-98FF-78BF201FE064","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"851bf76d21f8adc9231295bc43bb317620bc1e90","datavalue":{"value":{"entity-type":"item","numeric-id":1111544,"id":"Q1111544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1187547$D441088F-B1A5-40C3-99F3-8769F8FB2F0D","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":"Q1187547$68429207-43DE-4449-BD88-B36EE09958C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65227625bc00430ce955a31acca9b070ef8d9c8b","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093636019","type":"string"},"datatype":"url"},"type":"statement","id":"Q1187547$A11AF316-E37D-442C-A6D5-EFB2B00E1415","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ac38742b043b78c98cd0ea57cd1bc4800bcfc7d","datavalue":{"value":"W1995776027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187547$54183A2A-635C-4B63-92B4-431B9F381EAC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c1ca709bccaa5d82c9a4a2e15dd878e6ff7252f","datavalue":{"value":"10.1305/NDJFL/1093636019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1187547$9C5C050F-1A85-4B8E-B611-E9CDDE404056","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5260136b8166fdcb79c47f046d75047bcee8c917","datavalue":{"value":{"entity-type":"item","numeric-id":1111545,"id":"Q1111545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f33b160117e54abb84cfae929e6f55d8eddbd39a","datavalue":{"value":{"amount":"+0.8717330098152161","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":"Q1187547$40725682-7ED5-47EE-816E-B4EBC1C73801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9247282ed51be4be8b8b65457ac4ec13b51bb632","datavalue":{"value":{"entity-type":"item","numeric-id":1100191,"id":"Q1100191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f613702c3549a80c0e5ea70b95416df67462a839","datavalue":{"value":{"amount":"+0.7784687876701355","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":"Q1187547$A0C349AF-7CE6-44AB-B85F-9FC9A19EE5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd550c3094da56996b5f0d5428cc44d0dfee405","datavalue":{"value":{"entity-type":"item","numeric-id":3755436,"id":"Q3755436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888dbd64ae80cf626f7f5ec31f845e230aa97b87","datavalue":{"value":{"amount":"+0.773320734500885","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":"Q1187547$43CBC9D0-5249-4914-8F00-AE3EF2D2235F","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":"a0864e3e6e32d1b74b3fb0b2a07dcc4fbc453fae","datavalue":{"value":{"amount":"+0.7669776678085327","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":"Q1187547$7582C450-38EB-425D-A9C1-7EE55ACAC668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cd0678eae120b57a06277684166d14eb2ae275","datavalue":{"value":{"entity-type":"item","numeric-id":3708780,"id":"Q3708780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07778e5a72f37406b5cc4e60b9a655f956014edc","datavalue":{"value":{"amount":"+0.760929524898529","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":"Q1187547$1D0B814B-42EF-4393-A1D6-E73EF4701316","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The Gentzen-Kripke construction of the intermediate logic LQ","badges":[]}}}}}