{"entities":{"Q2440003":{"pageid":2450746,"ns":120,"title":"Item:Q2440003","lastrevid":44090154,"modified":"2025-11-19T20:49:53Z","type":"item","id":"Q2440003","labels":{"en":{"language":"en","value":"New constants in the superintuitionistic logic L2"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6274267"}},"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":"Q2440003$DFCD2E7E-031D-4ECC-BD37-32E7D49F33C6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2d5cd491bcf9badbd2918338a142665b5eb711c","datavalue":{"value":{"text":"New constants in the superintuitionistic logic L2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2440003$42124030-A4E9-45E1-9B2D-33F02F1A4DE7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd6a72d9c104e789550a38e8b76563aaf247a9de","datavalue":{"value":"1331.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440003$9228228E-BE6B-4728-A535-F9F9CF514248","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad965e6f10f8df91e1cb7b8deb8501d341151a52","datavalue":{"value":"10.1134/S0001434613110308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440003$4C7439B6-487B-4807-9EBD-D3D97BD95A4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"929eab4a66769f9b287bffc2bbd31af4b4935d05","datavalue":{"value":{"entity-type":"item","numeric-id":498290,"id":"Q498290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440003$8BFF7D34-9B48-41B4-8A57-EB9F6CB3F455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440003$6FB2CC6D-155B-42B8-AB17-CBD723EB1ABB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440003$75C7E809-F78A-4977-A69A-435EA8766AB5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c143ccdb05c90aaaa52d92c2334883df4c472b19","datavalue":{"value":{"time":"+2014-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2440003$E4AE5E7E-EEF4-4DF0-89C7-A92842C5E8DA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f317e3967dc8beff77dabbfb0a59b25ae8e86264","datavalue":{"value":"The paper studies the logic L2 (the intermediate logic of the frames of depth at most 2, also known as \\(\\mathrm{BD}_2\\)) endowed with a finite number of new (logical) constants. The obtained results are generalizations of the results from [\\textit{A. D. Yashin}, Algebra Logic 50, No. 2, 171--186 (2011; Zbl 1271.03043); translation from Algebra Logika 50, No. 2, 246--267 (2011)], where the logic L2 with a single additional constant had been researched. In particular, the description of all Novikov-complete extensions (i.e., maximal conservative extensions of L2) is given, as well as decidability of all these extensions is established. The problem of deciding by an additional axiom \\(A(\\overline{\\phi})\\) (in the extended language) whether the extension \\(\\mathrm{L2} + A(\\overline{\\phi})\\) is conservative is also proven to be decidable.  A \\(\\overline{\\phi}\\)-logic \\(\\mathcal{L}\\) does not admit any explicit relations if \\(\\mathcal{L}\\) is conservative over \\(L\\) and, for every additional constant \\(\\phi_i\\) from \\(\\mathcal{L}\\) and every explicit relation \\(\\phi_i \\leftrightarrow B\\), the \\(\\overline{\\phi}\\)-logic \\(\\mathcal{L} + \\phi_i \\leftrightarrow B\\) is not conservative over \\(L\\). A straightforward method of finding whether or not a given complete logic admits new constants has been introduced.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2440003$13662C36-5DE1-48A7-B75C-D8B16BC1E642","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"42952f847986d97f96b12a6dfd7da21342953d87","datavalue":{"value":{"entity-type":"item","numeric-id":454374,"id":"Q454374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440003$6464B151-710E-4FC4-884D-5A3CCDBB874F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440003$117C2521-E698-4C39-BDCD-5394F7C9D9DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b25fbbd91b4b68068a5f9e76e3c1ebae39f64228","datavalue":{"value":"6274267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2440003$54511ABB-2747-4AC6-8076-F195E07856AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d7438a2f7dd3807b055e97a514aa4ac4483baea","datavalue":{"value":"superintuitionistic logic L2","type":"string"},"datatype":"string"},"type":"statement","id":"Q2440003$2BD0E97B-94BD-4249-B07F-4C6D3027DB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0abdc8d0e7da1e38371857fd569ef313af214785","datavalue":{"value":"intermediate logic \\(\\mathrm{BD}_2\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2440003$1F89A70A-2BBA-44F5-83CA-47AAF5F0F6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3a180dd02cd02ba940b14ba5bb3d57c548738bf","datavalue":{"value":"language with extra constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2440003$16711518-9FE1-4339-A8E7-246DC0D0DDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea472a86e3b6b51483f89aa10ef31db1a9fd28db","datavalue":{"value":"Novikov-complete extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q2440003$07A974B6-2548-4B9D-9410-0093A53FB565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14f34eed909bc359581cb5f08cf69f237f3bc106","datavalue":{"value":"frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q2440003$CD631FC5-2D81-4017-9E1F-70F2E31AE285","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":"Q2440003$643849C0-D98C-427D-B279-41EC2008A9E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440003$AA6DAA78-113E-4129-90B3-E700661D6C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbd9b521376f3c5809530fb715e181072cf54af6","datavalue":{"value":{"entity-type":"item","numeric-id":4032876,"id":"Q4032876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440003$5673BACC-3476-47C7-B78D-1D887E49CA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f081c411f7e6b4930b62d10eb2f12caa43565bf6","datavalue":{"value":{"entity-type":"item","numeric-id":4128788,"id":"Q4128788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440003$A78FC267-7A6D-4DBA-83A3-D4206FC6532C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d991cd5602b157aecd21faf84810ebd69c2d96","datavalue":{"value":{"entity-type":"item","numeric-id":4128789,"id":"Q4128789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440003$49EFF372-7FBA-43F1-9942-DE37D99E4755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53a201d1d6db8079baf6f87549cf011072aef6c","datavalue":{"value":{"entity-type":"item","numeric-id":1970642,"id":"Q1970642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440003$E7F3B0B3-2C1B-47E8-A94B-564AB9677766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f683bcf2449d8ccfe6f6734575b37838698e5d30","datavalue":{"value":{"entity-type":"item","numeric-id":4362935,"id":"Q4362935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2440003$7A65B26C-0F9F-4AEE-A8ED-75935D256EB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5850e9ac1bcdcd85f1c263fae93898285a10dc92","datavalue":{"value":{"entity-type":"item","numeric-id":5358305,"id":"Q5358305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61e7b6bec7dc09f9d20f32eacd7eeabba5a10ae8","datavalue":{"value":{"amount":"+0.6915519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2440003$F4FB0998-D43E-4D42-A95B-FABA75C4A8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec69db315f475852e150bfa78a94d0f00b00230c","datavalue":{"value":{"entity-type":"item","numeric-id":4761712,"id":"Q4761712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"656da3158ec90ef18f83a77d1b69035e3f0558dd","datavalue":{"value":{"amount":"+0.68063015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2440003$D76C23AB-4C1B-48DA-AB52-097B7E32CBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f0a259f54c7ddb7a951a396f4df338060227c11","datavalue":{"value":{"entity-type":"item","numeric-id":4451643,"id":"Q4451643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc3e0841a73396ab76d7c463705c89e958ffc413","datavalue":{"value":{"amount":"+0.6604116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2440003$5471D5D9-E017-417C-BBEC-8C97E61CD1CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bb5ea9c349fef19891eabdb43aba0bef7b149dd","datavalue":{"value":{"entity-type":"item","numeric-id":2932459,"id":"Q2932459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a8c4d67f0fe5d17f1fc02541665f47c8753ad63","datavalue":{"value":{"amount":"+0.65339506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2440003$B7F89599-6F58-4A3A-8244-05FC6EBE1C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b948cdcc9e3e951a002436c159e6ef798b5b7b30","datavalue":{"value":{"entity-type":"item","numeric-id":695769,"id":"Q695769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38aa6a22186618b2cde7fd7360ccc372708a150a","datavalue":{"value":{"amount":"+0.6420829","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2440003$BB74A356-3962-4F6C-AF5F-E2E189325609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406fa9245c6e934f39ee6a40439853a0b1dad70f","datavalue":{"value":{"entity-type":"item","numeric-id":498291,"id":"Q498291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b1a4fdbf70cc73916db0e34e64c53c5f2e877de","datavalue":{"value":{"amount":"+0.6412946","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2440003$CB30F737-0099-42DA-9641-D67A95E847C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d47ccb2e43b8d787425433bb81605fcb4a8490","datavalue":{"value":{"entity-type":"item","numeric-id":1970642,"id":"Q1970642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f03e23019a0c51cbc93d4ed502baf41a8076af","datavalue":{"value":{"amount":"+0.635908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2440003$DF76A982-62F0-4320-9ACA-8219F5D71B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b273767e6cf66551655ef901abfac1a7f50b8ef","datavalue":{"value":{"entity-type":"item","numeric-id":3545214,"id":"Q3545214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"498e40f8373a815adffcd54b08e881f6ad9ad71a","datavalue":{"value":{"amount":"+0.6336844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2440003$224266BD-64E8-48EC-BDD3-8098C410E91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5003925dddbcd3c683621957280ca9739d140dc6","datavalue":{"value":{"entity-type":"item","numeric-id":3809773,"id":"Q3809773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fea294768029b857fb497e6fadf2b59506d5474b","datavalue":{"value":{"amount":"+0.6276993","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2440003$3C013FD9-9466-469A-BCE8-23923E5E17E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb9dba4e5b331a34c1e81e2d3be5b0f38946d61","datavalue":{"value":{"entity-type":"item","numeric-id":5411489,"id":"Q5411489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fd5bfce3b49eae3257d65e0d8c0c436e42fe642","datavalue":{"value":{"amount":"+0.62474626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2440003$0A71A332-0F48-424D-927A-E904720F5F88","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2440003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2440003"}}}}}