{"entities":{"Q1820767":{"pageid":1831509,"ns":120,"title":"Item:Q1820767","lastrevid":70909020,"modified":"2026-04-13T18:10:42Z","type":"item","id":"Q1820767","labels":{"en":{"language":"en","value":"On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995634"}},"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":"Q1820767$B0051884-F6FD-47ED-B8C3-A92923E4731B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbed4f07fd930a4b6efa4169c22aaaa20fe8ab2a","datavalue":{"value":{"text":"On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1820767$A8EA1F02-A79A-4C4D-8914-DB992B279066","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"515be1a8ad615b7e95548d0ec24c3e0b8fef1932","datavalue":{"value":"0615.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820767$E1BA817C-B1BC-40D3-87A4-D0902562EA9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae76183b6af6c5ecec390ae10ade4a14527c793d","datavalue":{"value":"10.1007/BF01881549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820767$9630C96B-340A-4F98-A59A-9FA4DD87D2FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1618888cebf23d68c72b9159427d6441352a3ca5","datavalue":{"value":{"entity-type":"item","numeric-id":377467,"id":"Q377467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$F52464AA-6D37-48F3-AD06-E3E0A712B6B7","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":"Q1820767$AA8B3000-7756-42DE-ADC5-0006E498B792","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1820767$AF0DE1C2-061A-41D7-ADD2-01067C183B21","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d17427ade88a983bc1cca3664edf8d96b1584f76","datavalue":{"value":"Scott's schema S is  \\[  ((\\neg \\neg A\\to A)\\to (A\\vee \\neg A))\\to (\\neg A\\vee \\neg \\neg A).  \\]  The Kreisel-Putnam schema KP is  \\[  (\\neg A\\to (B\\vee C))\\to ((\\neg A\\to B)\\vee (\\neg A\\to C)).  \\]  SKP is the intermediate propositional logic: \\(I+S+KP\\), where I is intuitionistic logic. The author represents the relevant Kripke structures as posets and uses filtration techniques to prove that SKP has the finite model property and the disjunctive property. The proofs are accessible because they are carried out in great detail. He closes by pointing out problems in proving the completeness, with respect to Kripke structures, of Scott's system: \\(I+S\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$BF798E43-F563-4E00-8277-EF3E228F9272","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"bed602846c7cd1aca477737525739d8e83d5c5a2","datavalue":{"value":{"entity-type":"item","numeric-id":599802,"id":"Q599802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$5D31DCEB-30A8-4830-8C8A-D6596331877D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820767$4EBF97AF-79B6-4D0C-836F-E599819ED13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820767$E56AA475-A76F-447C-8876-8A5727F519C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a588975674f1ac823b93c7f41380dec8c6195483","datavalue":{"value":"3995634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1820767$2FED6756-E245-45A5-8F23-42F579EB28BF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7180564e4ccb372412215fb7c0b905f3abe0d833","datavalue":{"value":"Scott's schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$E5CFAFAA-9C96-4714-A3BA-C9DD7E0AA484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"897321ee3345cf075dbd9aadc2298073589d5313","datavalue":{"value":"Kreisel-Putnam schema","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$D0A16159-50FD-4F78-BC3E-6526511AD4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba072be44d7e6d7edcb6edde2f74f2ddeb4f65fe","datavalue":{"value":"SKP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$5AA4D0D9-FA3A-433D-9025-2E06B7E48841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b31e4be9304f94ab85439f8150bc53f3df53fd8","datavalue":{"value":"intermediate propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$0B1A050E-6417-4C17-B6C2-5643C04EAA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$F7A792CB-E291-4034-A4B9-F86D07547F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000d054838ba79f1c83227281d29722f07d85a76","datavalue":{"value":"Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$4FC440CA-59EE-4ACA-8D1A-14C82630A535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55ed4e02075ed4e4b1b42997cccad7cede0fb5bc","datavalue":{"value":"posets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$F1EE268E-3943-4108-974C-5F67ED0CAFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05bdd07461d09bc38695333a1cd0618fef804a5b","datavalue":{"value":"filtration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$74594440-DAB7-4BA7-9CA5-2655C6C8D7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$1C491780-BD40-4827-B236-A3E3B1C89084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1576adf895d0391f5d45cedc7982c2200cc1f03d","datavalue":{"value":"disjunctive property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$E0B14FD2-5E36-4E4A-8AEA-6A3C824699B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a88879533a1640db18682e45c7ffa844d8e475b0","datavalue":{"value":"Scott's system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1820767$4A860B14-528E-439A-8875-8D34CAAAEEDC","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":"Q1820767$A5C39590-03CF-411A-A312-55C49DB81343","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0310e42cd89ec966ff0db04df83f2f80f9957748","datavalue":{"value":{"entity-type":"item","numeric-id":5658080,"id":"Q5658080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$550E1414-0412-4BB7-BADC-9101675BFF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577776df3aa92f9f40afa80ef3e4a3f282cb55fb","datavalue":{"value":{"entity-type":"item","numeric-id":5635427,"id":"Q5635427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$28D8FE67-42B5-4A59-BCAC-9301926D3CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$C81CD7BE-B0D3-46A4-A1F8-4CF5AE2D5AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96cab77cfdf602d1aab7b2856b4482a0f4f22e59","datavalue":{"value":{"entity-type":"item","numeric-id":3247123,"id":"Q3247123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$1ED210EA-E01F-451D-84A3-C42B5A6D3A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$A4A0CB88-6E5D-44EB-ABA5-C3C9CDFD4B03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"793f71fbbf14cbcfa91425f19c3fd6fbd221f31b","datavalue":{"value":{"entity-type":"item","numeric-id":5588586,"id":"Q5588586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$3B772E23-4CDC-4051-A1BE-8114FEA3686B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15c7203dc0565b0fccfdc0c28557dd6846e456d1","datavalue":{"value":{"entity-type":"item","numeric-id":5565080,"id":"Q5565080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$DE3FD3A0-A1C7-4883-B669-92191F6A01A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a9c0420aef247f44d1eec39528b10ee9fac6006","datavalue":{"value":{"entity-type":"item","numeric-id":5565105,"id":"Q5565105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$B4CE0734-5BAF-45F2-AC13-B6CB7572EBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f803209c67528497565ed0fcd089fb74d3efa2f","datavalue":{"value":{"entity-type":"item","numeric-id":1096618,"id":"Q1096618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$55F42AAD-A04E-4953-AEEB-B5DFBD940F7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e480091834b80af93be87d520dc5ee62325e01","datavalue":{"value":{"entity-type":"item","numeric-id":1165841,"id":"Q1165841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1820767$B483826B-DDCF-4306-B50C-F5D3B374C412","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff92900033be129ee5bbd8361085997a270d1031","datavalue":{"value":{"entity-type":"item","numeric-id":2454505,"id":"Q2454505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e84eabfa7e3883a7c268a09bd3a941af6d29421a","datavalue":{"value":{"amount":"+0.7723391056060791","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":"Q1820767$127AD0E5-3553-44D9-9FE2-30F3CD8F181F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e76e58fd62e8ea3dad3641d4ce2af9212f9db7c3","datavalue":{"value":{"entity-type":"item","numeric-id":3787971,"id":"Q3787971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa8a8a113f6862856f54d19641493d85d4f68ad","datavalue":{"value":{"amount":"+0.7541297078132629","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":"Q1820767$2A408656-AD7C-46B4-998B-4BD97F228C22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5e125f038a3b71ac7f19516df720a10d6aa3cdc","datavalue":{"value":{"entity-type":"item","numeric-id":1204112,"id":"Q1204112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d74a1104b8daced308d71dc9011e1e408439be","datavalue":{"value":{"amount":"+0.7267541289329529","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":"Q1820767$E1A1E152-06A7-4689-AD03-2BD895A6F88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafe194b076115a80e9776a4afbd2357b70ba91d","datavalue":{"value":{"entity-type":"item","numeric-id":1577172,"id":"Q1577172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd09077c0455161e6449dc31504d441dc2b72c4","datavalue":{"value":{"amount":"+0.7216421365737915","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":"Q1820767$0FC3F56A-CC32-4CCF-BF5A-48BE97CAF35E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ba66a2ee9ac35b0e9bed1c531eb349a004ea69","datavalue":{"value":{"entity-type":"item","numeric-id":4857856,"id":"Q4857856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a6079b35c67eb0a3cf3fed6b4cdf2f96f9950b","datavalue":{"value":{"amount":"+0.7209871411323547","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":"Q1820767$08622364-BC29-4854-87C2-30801B73AAEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the extension of intuitionistic propositional logic with Kreisel- Putnam's and Scott's schemes","badges":[]}}}}}