{"entities":{"Q1090668":{"pageid":1101420,"ns":120,"title":"Item:Q1090668","lastrevid":66430812,"modified":"2026-04-12T10:02:14Z","type":"item","id":"Q1090668","labels":{"en":{"language":"en","value":"Local deductions theorems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4008362"}},"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":"Q1090668$A7BA85E9-D883-4657-B7A3-6D80ED805653","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42a70efa346b7341fa3f71e29e8de9d9809cdbe1","datavalue":{"value":{"text":"Local deductions theorems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1090668$073F3B45-A270-48CF-9418-5EDD786EDA80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4513715c267c9806b7e3192e2dff8707b10a1cf6","datavalue":{"value":"0622.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090668$76391387-9548-4A52-AC23-717C7B058C34","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bae4d24b37f2e0c6916736f6f073dba53352cbd9","datavalue":{"value":"10.1007/BF00370271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090668$C140E7EA-A32A-49C6-9C46-EC993AECDB44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfccb93685854dae8ab7b7e24e0ca004a6182d99","datavalue":{"value":{"entity-type":"item","numeric-id":178963,"id":"Q178963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090668$528F255B-F808-4B58-936B-6D0161434D22","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":"Q1090668$456D787C-950D-4296-B512-A479E56767E1","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":"Q1090668$7D0BDABD-CA08-4114-BB9D-C0F2140EB223","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"14a5cccb66867dd5caf4cdf3877d1d5c554ae997","datavalue":{"value":"Kripke's system K with MP and necessitation has the following indeterminate deduction theorem: X,A\\(\\vdash B\\) iff for some n \\(X\\vdash \\square^ nA\\to B\\). Similarly, \u0141ukasiewicz's infinite valued logic has an indeterminate deduction theorem: X,A\\(\\vdash B\\) iff for some n \\(X\\vdash A\\to_ nB\\). The author generalizes from these cases of indeterminate deduction theorems to develop the notion of local deduction theorem. He then investigates conditions for a logic to have a local deduction theorem. A major result is that a finitary logic L has a local deduction theorem iff the class of all matrices validating L has the L- filter extension property. The paper is clearly presented, but reading it is greatly faciliated by having familiarity with the algebraic treatment of logic so commonly used by Polish logicians.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090668$712F6D40-E308-4FC1-966F-20A9AABC2512","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090668$A95CD617-5AFD-40FB-A278-17E0AE1DAEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090668$4EEB651F-4E8C-4B75-9DE1-6F0A2652C621","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d50562ae43272f0ba4a0d75d09f498ac4bfb7b83","datavalue":{"value":"4008362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1090668$BA9CDF02-9D55-4D49-8ABE-BFC91C57AE22","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d579e2dc2bacbc2f6c4bd8d52cf6bce730064fcb","datavalue":{"value":"indeterminate deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090668$63E3168B-090D-4339-A674-C2CF46DFDCC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ec8122d81b68a76e10d0f9c82cf3588b2573486","datavalue":{"value":"local deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090668$5D466C29-03B8-479B-AA80-3C0439BB8948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60d36f34803eedf748ff785102e6ece638e498b7","datavalue":{"value":"finitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090668$AF62479D-6D5E-4BD0-AB37-CABCECB3BC34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b968189a719194878bc802a4fefa3b485d15e4f","datavalue":{"value":"L-filter extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1090668$32C8B349-ABC3-4D98-A78A-E12C26A6F880","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":"Q1090668$934D54DF-BE17-4175-8DAA-120EE421E0DD","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":"Q1090668$0AE83D3B-F5E3-423B-9308-64DF6DE53F71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0fde80f2b9f38ae05190378f5b83c9bb88ffcf","datavalue":{"value":{"entity-type":"item","numeric-id":1080413,"id":"Q1080413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090668$4B42B388-C7EC-483D-A6CC-D586FEE28D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"537071df8fe2505b4ea2ed5c93973776a59e082f","datavalue":{"value":{"entity-type":"item","numeric-id":1066139,"id":"Q1066139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090668$99F589B5-2BD9-4686-BD38-CFC2E8CD6468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a9a623e15ff9e54bb042d69535ff85ecca1383d","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090668$7813358D-EE78-481E-A534-FB18D50FC27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49a234a988ee2e93d8ec1021b77867b079c09fbc","datavalue":{"value":{"entity-type":"item","numeric-id":4187823,"id":"Q4187823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090668$3C9F290E-FDD2-4B04-A2A1-C695B6BB4F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9da52bb4a0356b29ce28faa5e3a1462960a6a797","datavalue":{"value":{"entity-type":"item","numeric-id":5332212,"id":"Q5332212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090668$DCC831D4-209E-43C1-9BA2-9073C0CABBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94af076537c519674b09fa5a4530cb9f93d0277","datavalue":{"value":{"entity-type":"item","numeric-id":1211481,"id":"Q1211481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090668$3245E972-53E9-4DFE-99A6-7EB119C9D83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ceda0e3d5d08148bdd59bc4b5f3ca00e280398d","datavalue":{"value":{"entity-type":"item","numeric-id":3921201,"id":"Q3921201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1090668$C5B2570C-D790-4F7E-BA3C-D927D860F6A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b40a2eca6ad41d23d50353bc5540f433ad9f7238","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ee0b1bcd950e35fe51be113fa9bd02840ffd00d","datavalue":{"value":{"amount":"+0.8338055610656738","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":"Q1090668$9BE3C0F5-0032-4394-AE48-DA315DD117C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21aba76d6e914f9b4d82b35d7986a449330ae05","datavalue":{"value":{"entity-type":"item","numeric-id":647412,"id":"Q647412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0723e01ead5e00ccab6c93bf2c8168ff0a373bcc","datavalue":{"value":{"amount":"+0.8281305432319641","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":"Q1090668$3FA76834-BB3A-4B98-AF42-5755B1496E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54af863b0d9b51edc5ec3998fadfa30fe38ec962","datavalue":{"value":{"entity-type":"item","numeric-id":1087867,"id":"Q1087867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6afb0b24483a9af77f515546f63652d5543028b","datavalue":{"value":{"amount":"+0.7962960600852966","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":"Q1090668$1FE31AD4-946D-4131-A7CA-63804FA737E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea48de2cf085cdbea8275c2e5f0d92dba6ce4365","datavalue":{"value":{"entity-type":"item","numeric-id":3216636,"id":"Q3216636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e079ad02de098dc525c946c0662e9d352096068","datavalue":{"value":{"amount":"+0.7904725670814514","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":"Q1090668$8CBED1FE-644D-4C8B-869E-79AFC89B7695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce837ee6b8b02263a9dac499022c3762e14d911","datavalue":{"value":{"entity-type":"item","numeric-id":3480040,"id":"Q3480040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7578891ffe6b6a7888eba54b31d75a2419e5d6bc","datavalue":{"value":{"amount":"+0.7629162073135376","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":"Q1090668$DFD18F76-28BE-4B6B-83E0-91F4D2E32517","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Local deductions theorems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Local_deductions_theorems"}}}}}