{"entities":{"Q2589528":{"pageid":2600271,"ns":120,"title":"Item:Q2589528","lastrevid":44419440,"modified":"2025-11-22T19:38:53Z","type":"item","id":"Q2589528","labels":{"en":{"language":"en","value":"Note on a property of matrices for Lewis and Langford's calculi of propositions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2508877"}},"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":"Q2589528$AA4B67D3-7066-43A4-8C7D-1C1B48FCA3AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d2850d8a36893fe5611b4b68ccb8b60be5b905b","datavalue":{"value":{"text":"Note on a property of matrices for Lewis and Langford's calculi of propositions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2589528$030D7A86-30BE-47BB-8C28-8BB6787BB0CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0984fd78fd97c0377aca4ca6c00fe495f0acc061","datavalue":{"value":"66.1194.01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2589528$2EB41BF7-A310-4BE8-AEC8-EA35B0D0ABE3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a1b9531fe1e8b2d19ec9a8ef9db7adab900f4312","datavalue":{"value":"10.2307/2268175","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2589528$F4DCF333-EC97-424A-BE25-FB1AE9857E64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5f81acef5726a42845cdd926679e617a4142ec","datavalue":{"value":{"entity-type":"item","numeric-id":2589527,"id":"Q2589527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2589528$BD4E99C3-6730-4F8B-996A-1C92CF73E438","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1701512ca85d58575d88b06da5ab938c2d9a4cd9","datavalue":{"value":{"time":"+1940-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":"Q2589528$07E84BC9-1FC6-41D1-B1DF-AB9A98E47AF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc25fe40af6f374d921f1a4fba57b6d4a9d1df6b","datavalue":{"value":"Auf eine analoge Art, wie \\textit{K. G\u00f6del} (Ergebn. math. Kolloqu. Wien 4 (1933), 40; F. d. M. \\(59_{\\text{II}}\\), 866) f\u00fcr den intuitionistischen Aussagenkalk\u00fcl gezeigt hat, wird in dem vorliegenden Aufsatz bewiesen, da\u00df es zu keinem der Systeme \\(S1 - S5\\) von Lewis und Langford's Aussagenkalk\u00fcl, der auf der ``strict implication'' aufgebaut ist (\\textit{Lewis, Langford}, Symbolic logic, 1932; F. d. M. \\(58_{\\text I}\\), 56), eine endliche ad\u00e4quate Matrix gibt. Weiter wird gezeigt, da\u00df auch das System, das auf \\(B1 - B8\\) und \\(\\diamond\\diamond p\\) (in der Bezeichnungsweise von Lewis und Langford) aufgebaut ist, keine derartige Matrix besitzt.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2589528$97B23B98-873C-4459-97AB-6FC7ACE1E8A1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b3292e5fa922af19ff115c6a6e940d03f2b69972","datavalue":{"value":"2508877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2589528$A43DD0A4-181C-472C-914F-D474DF6CEC58","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":"Q2589528$9C8208E8-A925-4885-AF88-073826AD1E58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"771ae72fe17b16968986b41439749324b57006d8","datavalue":{"value":"https://doi.org/10.2307/2268175","type":"string"},"datatype":"url"},"type":"statement","id":"Q2589528$1722DE75-679A-42C2-920B-9B310CFE669E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"15dc30bfe5799bf04c21897b88a0f063df2a0fa5","datavalue":{"value":"W2093157821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2589528$5C5EF29A-36D9-4FC9-BEF1-0F735D1E119B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2589528$95AA43D7-A063-4A1B-94E8-7121FA351BF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2589528","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2589528"}}}}}