{"entities":{"Q2751825":{"pageid":2762564,"ns":120,"title":"Item:Q2751825","lastrevid":79199723,"modified":"2026-05-06T13:22:15Z","type":"item","id":"Q2751825","labels":{"en":{"language":"en","value":"Conditions for the applicability of classical logic in the framework of languages of nonclassical logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1665188"}},"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":"Q2751825$31E1B8E4-B07B-4072-863B-3661F58867CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c9aff54f74489b897917bac41bbab13697b4697b","datavalue":{"value":"0988.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751825$C3BA5490-5B36-4538-8133-28EDB745A68D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e81f31ec27945ea37378ab660c1bb99f9675082b","datavalue":{"value":{"entity-type":"item","numeric-id":1941729,"id":"Q1941729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751825$73395D15-CA0B-4D39-8CAA-E9D4F049D2E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"adb3ef540eac58911e63cf63f703d86d64686cb2","datavalue":{"value":{"time":"+2002-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2751825$E5DFC528-D682-428F-A072-D1541AA9CB76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751825$1A9FFCDC-D8C6-443D-9A8C-0EF94BC5DD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751825$8C8E17B9-F062-4155-BABC-B7EBBD4E1FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751825$6207D30E-CB00-4993-88B2-980164B50D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751825$FD9AB669-CD4D-43C6-B66A-9307535F2825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751825$0732C6C7-DF47-40CC-8372-AAA9518FA710","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d98f5b2fe7d181d7930547e68719eaa8ec0b0ca8","datavalue":{"value":"1665188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2751825$320D04D6-76CD-4911-8642-01D518903203","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd23accacd12a6f72f6b01fef5a32efd1030b563","datavalue":{"value":"conditions for applicability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751825$DEF8A072-B47C-4052-A3DA-08EC83B6F08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7e45de5f0961d0cf7470a7b0dd939d5c4c581f3","datavalue":{"value":"classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751825$382C6377-D530-4022-8D1C-1E09D8FDBECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751825$F77B4462-6E51-4E27-8C18-C463FCE210AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751825$194F0226-073E-4339-BCDC-C55F5C505277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee52456d706b55371f38568eb4ab302c73ee3ed1","datavalue":{"value":"Kleene logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751825$E6584144-790A-45AB-A209-1A504242B896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45d41f164dfb8e40ca038c4f31af9f0725ea704c","datavalue":{"value":"logic FL4","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751825$47651460-4138-452F-B04A-30C037DE99CA","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":"Q2751825$60DB337C-3930-4CBD-AC6B-788E6C97B7FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797d1cc74821db371a04aab108b427b94a2ee364","datavalue":{"value":{"entity-type":"item","numeric-id":3797163,"id":"Q3797163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6c86e3b86282a37e8d4e6eb5e03a266b7a5893","datavalue":{"value":{"amount":"+0.8969152","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751825$460920DF-8DC7-4C2D-AE6A-6851608DDAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98fe8b3e663eb87cb9c6a109e7ef7f39c585f0e6","datavalue":{"value":{"entity-type":"item","numeric-id":4526555,"id":"Q4526555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0057ed8a60b77957f95a5206c4b744f05286fca","datavalue":{"value":{"amount":"+0.88515896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751825$EBDAEAC1-9DF8-48D5-B9AC-7588A1554991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1032866713d130bf354ae3605f1b453cd358563e","datavalue":{"value":{"entity-type":"item","numeric-id":4362880,"id":"Q4362880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"062989abc6fb40ad256c4a97b294ba5676d1790f","datavalue":{"value":{"amount":"+0.8840231","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751825$EC928884-80A4-42B9-80E9-E442495D33F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542f0f657071c736cdb318270750dd2e778bae17","datavalue":{"value":{"entity-type":"item","numeric-id":2695399,"id":"Q2695399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d682358a04b60c87a71590f01fa5c2d5510e5db0","datavalue":{"value":{"amount":"+0.8830155","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751825$E76B12C8-A09F-4BE9-ADF9-FADA51002EF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272956228a71b88b8caf0f2dc10a33e85e15e017","datavalue":{"value":{"entity-type":"item","numeric-id":4264704,"id":"Q4264704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f08e80d3de2e9b0d0e724ba7d36835a4a4bca5b","datavalue":{"value":{"amount":"+0.8827473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751825$BABFE39F-0D73-438D-B31C-D9855D4EDF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95381bc8c7fb3e455800e0f1a425a361ef1b8041","datavalue":{"value":{"entity-type":"item","numeric-id":4424653,"id":"Q4424653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd86bda3ff15b2aff4b64b01ebe8b53c077c0de","datavalue":{"value":{"amount":"+0.88016397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751825$F290DD6C-F2FF-4AC9-8861-7B8B4B89299D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c8fe358428e0798a341cff394e72fe88f88759","datavalue":{"value":{"entity-type":"item","numeric-id":4789048,"id":"Q4789048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6797482e671e0d59bb617abd7a0e3cd3986024b","datavalue":{"value":{"amount":"+0.87840664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751825$1848B80A-3AA1-4C93-A84C-410C42CF88A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33ee49250fe56c4f2a4c92a78537f7e9a13fc0e7","datavalue":{"value":{"entity-type":"item","numeric-id":4023119,"id":"Q4023119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1f59ece25bbead5e574dd2e98ef80da544fb1e","datavalue":{"value":{"amount":"+0.87433547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751825$2F76A951-A277-4B01-A8BE-7993FA080DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32e4a4d10925902a1ac398f433e1df2b704cd0af","datavalue":{"value":{"entity-type":"item","numeric-id":5283963,"id":"Q5283963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cb696774a388be9c9d0f1e005df69c7eee57450","datavalue":{"value":{"amount":"+0.87351286","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751825$3C2421A5-97CA-42A0-A332-11818CBB85D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0290ff2c33d485029aa830538917b587aa64462","datavalue":{"value":{"entity-type":"item","numeric-id":2295733,"id":"Q2295733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88673a69c5b70de34eb2ae3884daa5896abc319c","datavalue":{"value":{"amount":"+0.87297726","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2751825$6A4789B1-0AE0-4F3E-8AE2-00434D8478E1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d7dbaf974a7c388930198b2f90a91324e990e75","datavalue":{"value":{"text":"Conditions for the applicability of classical logic in the framework of languages of nonclassical logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2751825$0BECFDB4-1BB1-45FF-8BFD-F7CA946E744E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"218d4904a524e8737dbae46aeb7461f558cca383","datavalue":{"value":"The central notion discussed in the paper is: given two propositional logics \\(L_1\\) and \\(L_2\\), where the language of \\(L_1\\) is a sublanguage of the language of \\(L_2\\), the logic \\(L_1\\) is applicable to a given formula \\(A\\) of the logic \\(L_2\\) if for every theorem \\(T\\) of \\(L_1\\), every formula obtained by a uniform substitution of \\(A\\) for a variable in \\(T\\) is a theorem of \\(L_2\\). NEWLINENEWLINENEWLINEThe paper discusses the question under what formal conditions classical propositional logic is applicable to various nonclassical logics, such as intuitionistic logic, \u0141ukasiewicz's logic \\({\\L}_3\\), Kleene's logic, and the logic FL4 with operators for truth and falsity, introduced by the author, as well as the applicability of the former logics to FL4. Some results are stated with no proofs.NEWLINENEWLINEFor the entire collection see [Zbl 0960.00036].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2751825$532B635E-5B39-411D-A0F2-FD28AE0A68DD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"57ad727308120c2d3a49a9849dfa008e9ce3bebc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2751825$64245279-09BF-463D-8170-615747133E5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Conditions for the applicability of classical logic in the framework of languages of nonclassical logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Conditions_for_the_applicability_of_classical_logic_in_the_framework_of_languages_of_nonclassical_logics"}}}}}