{"entities":{"Q689214":{"pageid":691063,"ns":120,"title":"Item:Q689214","lastrevid":63639027,"modified":"2026-04-11T14:31:42Z","type":"item","id":"Q689214","labels":{"en":{"language":"en","value":"Refutation calculi for certain intermediate propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440199"}},"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":"Q689214$E195202A-F3A2-44DD-9B2D-1115812B5FB7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ed7b792e1f3d1c0b7f84ad4b94576e611f77c85","datavalue":{"value":{"text":"Refutation calculi for certain intermediate propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689214$30F16884-1B84-41CB-B86A-DF6242C7016F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e46b929a9a97cc7981db95537f0d63c440ff6947","datavalue":{"value":"0789.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689214$8367CEDF-489F-4B2C-B2B0-E67DDE068679","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30b5148357ddc46afe7867b178a15576d428368d","datavalue":{"value":{"entity-type":"item","numeric-id":689213,"id":"Q689213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689214$2C752529-7F50-42AD-847B-F9B31ED857C2","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":"Q689214$C98752EB-F7DB-4EFB-AE1A-48DFE7323D1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f76288a30164f14e28f1a275b49eb5d03da81a0a","datavalue":{"value":{"time":"+1993-12-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":"Q689214$A3936D01-27E8-445D-A8BE-FA0B6FE7B8E2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bf938b49dbacd9082602ed4809fb9a1b3565807a","datavalue":{"value":"The author opens with a brief account of, and motivation for, \u0141ukasiewicz-style refutation calculi for making an r.e. list of the non-theorems of propositional calculi. He then uses Heyting algebras to develop refutation calculi for the intermediate logics: finite logics, LC, Yankov's logic, the logic of the weak law of excluded middle, Medvedev's logic, and certain logics without the finite model property.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$A2C73E55-DC83-40BD-8118-8198AF4016F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689214$A3A5218E-A053-43BB-AC3C-1DBB48C4C88E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"07f79dca78119b9baa460d511ca8f700e2b03651","datavalue":{"value":"440199","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689214$16DC7D67-D70D-4008-9133-9DF886A9EE87","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4377c9d3bd930c7d42c94a07d8682f487a2ccab","datavalue":{"value":"refutation calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$EEBA697A-D8BF-4301-8312-3885EC42F56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7997f8f2a6ade2ac2491b191c08ff274f916a228","datavalue":{"value":"non-theorems of propositional calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$F91244A5-D0CE-4F99-9905-0A567147B444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fa90d9b43357ac49f07caba3b29b66354b3e6fb","datavalue":{"value":"Heyting algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$901E41D1-C6E1-40A9-9A9E-0B7D3A84474D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$9CD0D7CB-787C-4527-91F5-85A47FCF18C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96e70490ed1932a00bdff4fffb09b10c4143ab2b","datavalue":{"value":"finite logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$0C8A95BF-4106-4518-BF09-EB757608F4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9340968203e8f86e276d59c9b83cdf80d43c3334","datavalue":{"value":"LC","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$6F7ECE0B-3A2B-4106-ABDF-74DCB8196FE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b518dbfc84d3d29459dbb3dce3d525f05eae25eb","datavalue":{"value":"Yankov's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$DBEBF57B-4C1B-4648-B780-E874F2D0B6C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158fe027fa36c8211cda921508a5088e3d778363","datavalue":{"value":"logic of the weak law of excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$43C9541F-D807-4B13-8417-B5F72ACC2577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19a4f991b82fe545ea855f3d294b6da0b7630424","datavalue":{"value":"Medvedev's logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$A26E5C2A-6BB1-4592-96B5-38C04D6B813A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11cbe5e55397cbe1dcac4057b97ec82df6d6f072","datavalue":{"value":"logics without the finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q689214$1D7D1311-C4BA-4F1A-9842-96B7D7255EBF","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":"Q689214$964069F0-F991-463F-BEB1-7C366BB61BA4","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":"Q689214$4677054C-79E4-4077-931A-96389DED5352","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66c6ece94400c39eb40d86acc37099c7b801529c","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634486","type":"string"},"datatype":"url"},"type":"statement","id":"Q689214$138FE395-DC17-4CBD-BEFE-D2D433609550","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08841427da8cdbeda129df373b346161a9425808","datavalue":{"value":"W1990110049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689214$E2BA4CF1-2CFF-451D-96EF-AD3ABF0B261D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ff63e72da61b9198dccb166e0d3874f2413c183","datavalue":{"value":"10.1305/NDJFL/1093634486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689214$90CBBB5C-9E3B-4E24-A208-B28A0FCFC7C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c4a4c38f9434181d6fe926b9030e2c61d1f555f","datavalue":{"value":{"entity-type":"item","numeric-id":4408740,"id":"Q4408740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801e38c71d5540e99cfdbf500093bb715cfc2b46","datavalue":{"value":{"amount":"+0.8062993288040161","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":"Q689214$C59B80CC-8739-453C-9A5E-7B4DE741A832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bd4ab943b971822b00cb8da7004c76c9455f213","datavalue":{"value":{"entity-type":"item","numeric-id":481867,"id":"Q481867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b64ada9bc48e660d39ac8ae71dcc09e83704a9fd","datavalue":{"value":{"amount":"+0.8049526810646057","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":"Q689214$662261C5-1684-46A2-B962-F64E2030D914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e8a3848627ec628249e4d780c6e7034471fa5d","datavalue":{"value":{"entity-type":"item","numeric-id":3486541,"id":"Q3486541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f1ee3be121918e3b2408ede6c67142ee94c5434","datavalue":{"value":{"amount":"+0.7899979948997498","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":"Q689214$3308A459-6333-4D17-A7B3-91B3FE360C24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b83eefcd0665f1eb6fd0849f9e056ac58b24e2","datavalue":{"value":{"entity-type":"item","numeric-id":4484080,"id":"Q4484080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee7e92ec8b33e5b7704427571240bb6bd4b5a31","datavalue":{"value":{"amount":"+0.7847846746444702","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":"Q689214$F6ABC5CE-839B-4482-B440-06B86A751B4A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refutation calculi for certain intermediate propositional logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refutation_calculi_for_certain_intermediate_propositional_logics"}}}}}