{"entities":{"Q1102265":{"pageid":1113017,"ns":120,"title":"Item:Q1102265","lastrevid":66683889,"modified":"2026-04-12T11:55:12Z","type":"item","id":"Q1102265","labels":{"en":{"language":"en","value":"A weak intuitionistic propositional logic with purely constructive implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4049612"}},"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":"Q1102265$A0725CF6-2BEC-4A82-9054-C685463EDAA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a92daf7086527832c1f8ffd5790bbf77333dc5c","datavalue":{"value":{"text":"A weak intuitionistic propositional logic with purely constructive implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1102265$2EF36F83-DB3B-49A5-A221-82A710A7AD1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"183e1afca96950de4f8fd7456e3f58b3cadded5e","datavalue":{"value":"0644.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102265$E63D6A40-8764-43C9-9856-F9DD0D5F3181","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b14969d06a47056122bbda6bd6f5fd450d92d73","datavalue":{"value":"10.1007/BF00370647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102265$6F1C12EA-0FD5-4C1E-AA7A-D5E4B5D5870D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102265$971145FD-1C10-4A9D-90F9-51F84892AE04","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":"Q1102265$E5E46596-191A-449C-BDC0-A2704E7B07DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1102265$AB3739FF-4BB9-4F6A-B1FB-24E9D6386E38","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0ec8793b88130a232ec6f1077caeab89da32c652","datavalue":{"value":"By weakening the intuitionistic implication, two subsystems WLJ and SI of the sequent calculus LJ for intuitionistic logic are defined. The cut- elimination theorems for WLJ and SI are given and the corresponding constructive semantics is described. An interpretation of the system SI by means of modal operators and classical implication is considered, where a weak modal system WM is obtained. In the end of the paper, the Kripke models for WM are presented and the completeness theorem is proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102265$7CA4DA2D-EDD9-4CA5-B030-7A0C2098B4EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102265$ADAE23AA-98D3-4E41-AFF4-74FAFB0423CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102265$A4BA57AB-275D-45C6-90FB-EC758D5E7FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102265$D992509C-1BA6-4BF8-901E-BEEFECABFFA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b4873081c11281cee1f317dbabedaca3b802e01","datavalue":{"value":"4049612","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102265$A82BABCF-5686-415A-8C5A-8D2E46FE198E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102265$EB4C348A-1803-4075-8AD6-4E886220033D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102265$214BE53A-22FB-442E-BD63-B2C75A1A8EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102265$2259DCA6-C4D8-4024-AB28-FFE983A7AD54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bb162c196a3357547697a42a48b523e2788d32f","datavalue":{"value":"constructive semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102265$EA08FA96-5214-4B14-BD8C-F981A2B68410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a8905d4045caff905ea8a34fc97ed231c397e","datavalue":{"value":"modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102265$A3E6084A-04DD-4261-9059-D3274E36B30B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102265$11B11131-F449-41F8-A09A-B57E7B9D9CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1102265$3108C7AA-710B-42C5-9229-4B2718C9EAB7","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":"Q1102265$01B1DE6D-73C7-42AB-A0A2-1521E8BB717B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73fd06da9348f1d52e2cbff62e89d8a526dbbeb2","datavalue":{"value":{"entity-type":"item","numeric-id":770676,"id":"Q770676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102265$AFA5BE62-298E-4FD9-9D20-0E2E18B3CB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffad437e017fdc15baf42ce447a323a98e8dfcf","datavalue":{"value":{"entity-type":"item","numeric-id":4133603,"id":"Q4133603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102265$D2F364CD-7696-4434-A193-F852670FB530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e74a7a357b1b46dc042b2194329594218f6b370","datavalue":{"value":{"entity-type":"item","numeric-id":1840142,"id":"Q1840142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102265$B29F92DD-49C2-4781-B540-50FF4EEB545D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25eaa6c3e9bb9d8953ff182f9af4a923fe4aa505","datavalue":{"value":{"entity-type":"item","numeric-id":5925300,"id":"Q5925300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102265$AFD5DC35-1FE3-4D39-A6DB-71ECEF264247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1102265$BE70A77F-B958-466E-91C5-B7E741E0A7E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80a9416fc090af3777092d9764857520a91b0ac5","datavalue":{"value":"https://doi.org/10.1007/bf00370647","type":"string"},"datatype":"url"},"type":"statement","id":"Q1102265$BCFC59CE-346E-4EAF-B44A-239C91FBC4BF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8d006a2af2ec4594a28d6d31deba28612d883a7","datavalue":{"value":"W2045641531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1102265$AD1797FE-E9E0-4F84-8BB1-732C6D1659FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085b0d5424445c2525b38b5cd56fddd22673e115","datavalue":{"value":{"entity-type":"item","numeric-id":3787970,"id":"Q3787970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ffe5ae5ff6f1dd0c10111e7b19351ff3e015b0","datavalue":{"value":{"amount":"+0.8297398090362549","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":"Q1102265$D50845FA-53CA-40BF-9449-7CEB709549D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32adbb07749b37ce68fa8b803658ab6f73e20c0e","datavalue":{"value":{"entity-type":"item","numeric-id":3794150,"id":"Q3794150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a19b1843c5635158ccfb8a826199f9f9cfe4074","datavalue":{"value":{"amount":"+0.8239656686782837","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":"Q1102265$946C5E23-3B8D-4086-A223-EF14532A5222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a824f51322394bfbd9ee1e51fc67d0e6ec90f24e","datavalue":{"value":{"entity-type":"item","numeric-id":1333312,"id":"Q1333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b464708b7a2d0aaabd60ea6b364d9918bfa45539","datavalue":{"value":{"amount":"+0.7818104028701782","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":"Q1102265$D70B4D4D-E778-43C5-8FAE-3F1E4D1CDC84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59300a1708ac7bb55411c49f1b207bafbddd64b5","datavalue":{"value":{"entity-type":"item","numeric-id":4644479,"id":"Q4644479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3073dd3f760ffd32894d196797a3b124d1c923","datavalue":{"value":{"amount":"+0.7800739407539368","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":"Q1102265$B05B5E66-CD19-4CE9-ADA0-DF7AB95A99BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38d98d8677127290968b7609e9e94b31c989583d","datavalue":{"value":{"entity-type":"item","numeric-id":4415083,"id":"Q4415083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e197e059f44b0b1eaa6993cb54c8bc33bdf4812c","datavalue":{"value":{"amount":"+0.7756279706954956","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":"Q1102265$A4CA866C-F532-4358-B5F7-8C8EC3F3D695","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A weak intuitionistic propositional logic with purely constructive implication","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_weak_intuitionistic_propositional_logic_with_purely_constructive_implication"}}}}}