{"entities":{"Q2813674":{"pageid":2824412,"ns":120,"title":"Item:Q2813674","lastrevid":52564649,"modified":"2026-01-22T23:48:47Z","type":"item","id":"Q2813674","labels":{"en":{"language":"en","value":"Conuclear images of substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6598142"}},"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":"Q2813674$464ECA79-8639-4648-B897-0FCB3C5DFAE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"624ae1c577d98b2158cdc7beb772f21abe99be92","datavalue":{"value":{"text":"Conuclear images of substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2813674$6FF88604-EF8A-49FA-B49C-CD5767ECF26C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52ffffd87427ca8cb1d4d88abf012b46f6eb4af3","datavalue":{"value":"1405.03055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813674$31F8B439-3717-4FA4-99C7-ED0F7AE036BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e532f50f467848e22d234a7fbd84f57614011e5","datavalue":{"value":{"entity-type":"item","numeric-id":1683370,"id":"Q1683370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$2278D581-52EC-4B03-8B52-750200B85BAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9d6952a7603f551cb4d5517360c8c4c3bf4d91a","datavalue":{"value":{"time":"+2016-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2813674$419E7A83-84CB-424C-BFDE-98D2808F2EFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813674$5052FA7E-F5D5-40B0-A1BC-246979A93F80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813674$5600AB1B-D23D-4230-A0F3-2F0B5F5B5E20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813674$E3CBA25F-AE13-4CAA-8E5B-1B63E59F10C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e97d08f1b71c060b53cd1fb6b2c6e621585faae4","datavalue":{"value":"6598142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813674$083370BB-385E-4381-82D0-4CF534850553","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813674$C962DFAD-EE59-4B0C-BE3E-E7F3162E1020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813674$EAC1F906-653E-4465-B1F4-0B479B04059A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0e6601640a84074b58fe9d6b50ac9b4a2d5c014","datavalue":{"value":"double negation principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813674$CA37C2FF-27D0-4910-A9E9-FB2631B91A8E","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":"Q2813674$4E7DC11E-9CAE-4D0B-9514-23E5785EACE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"46a26fb20c254a2bf45c63a33894021e783797d7","datavalue":{"value":"https://doi.org/10.1002/malq.201400074","type":"string"},"datatype":"url"},"type":"statement","id":"Q2813674$CE42D06D-562C-4B5A-A8BE-BF90C12C9ED1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f1d8833cd783dfb9cc0d8f96669a6c4ca98df8b","datavalue":{"value":"W2339335198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813674$88FBCDAD-8189-4C5D-BF7D-9654AADC0C71","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c549f63c89ca628db1aaf60ad68fa52a69200a3b","datavalue":{"value":{"entity-type":"item","numeric-id":2496161,"id":"Q2496161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$87575E6D-7859-457D-A125-1388F59164B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$8D46781E-4F55-43A9-9CB7-7B32800375DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$80CAB787-9079-46EC-AF40-B9073D431495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$F4837C41-F895-4220-9F31-18A023D5BBCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc1ccd3d769fdb42dba9811ce2da5b5721c1eda0","datavalue":{"value":{"entity-type":"item","numeric-id":549720,"id":"Q549720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$0CEE0E46-85F9-4136-BB1B-A9046EB023F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9dd76e140714fbe7adf9cc7d4e6b85cd8b037f5","datavalue":{"value":{"entity-type":"item","numeric-id":964512,"id":"Q964512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$31904203-54C0-4AEC-853F-58A97EFC929D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81bc981f8db54dd772ae2fccc87f792421ad2162","datavalue":{"value":{"entity-type":"item","numeric-id":2655230,"id":"Q2655230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$F77271A3-5156-44C4-ACEA-DF7CE175917C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13d9af80fb394b6d4ce6a003c012f88c509797ce","datavalue":{"value":{"entity-type":"item","numeric-id":2652481,"id":"Q2652481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$4AE31E37-A270-48A8-9CFF-D3C94D9D3BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$A4465CE5-CC17-4954-967A-F9A809B6261D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc3996c15e4ba37ecea77f21e60849490c9a39e3","datavalue":{"value":{"entity-type":"item","numeric-id":1035670,"id":"Q1035670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$695EB47D-A248-4917-9705-1A8BCB52FBFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901a26ec9a3abaa1546b2d52170a82ccbf4ad40a","datavalue":{"value":{"entity-type":"item","numeric-id":2425350,"id":"Q2425350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$6A2F3215-270B-4F82-B6FC-F77B9F54FDDB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ee8ff960f59e1fad69ecc4df622932afc769bfe","datavalue":{"value":"10.1002/MALQ.201400074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2813674$D1B8C9C1-8944-4D40-AE52-11FC4C18ED35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68cefe03c91c7bc1481d1ede29225e2a54af1e4c","datavalue":{"value":{"entity-type":"item","numeric-id":6561648,"id":"Q6561648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2813674$7234D08E-BED5-4A6D-94A5-95E7B81EB361","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"83330eec80d3d3c6aae0479bd7ffa45409d63f70","datavalue":{"value":"With a substructural logic \\(\\mathcal{L}\\) one can associate a logic \\(\\mathcal{L}_\\sigma\\) obtained from \\(\\mathcal{L}\\) by endowing it with new unary operator \\(\\sigma\\) and the following axioms {\\parindent=0.75cm\\begin{itemize}\\item[(i)] \\(\\sigma(A) \\cdot \\sigma(B) \\to \\sigma(A\\cdot B)\\); \\item[(ii)] \\(\\sigma(A) \\to A\\); \\item[(iii)] \\(\\sigma(A) \\to \\sigma(\\sigma(A))\\); NEWLINENEWLINE\\end{itemize}} and the necessitation rule \\(A/\\sigma(A)\\). If \\(A\\) is a formula, \\(A^\\sigma\\) denotes the formula obtained from \\(A\\) by replacing with \\(\\sigma(B)\\) each subformula \\(B\\) of \\(A\\). The conuclear \\(\\sigma(\\mathcal{L})\\) image of the logic \\(\\mathcal{L}\\) is a the logic whose theorems are precisely the formulas \\(A\\) such that \\(\\mathcal{L} \\vdash A^\\sigma\\). For every substructural logic \\(\\mathcal{L}\\), the logic \\(\\sigma(L)\\) is always substractural.NEWLINENEWLINEIt is proven that: {\\parindent=0.7cm \\begin{itemize}\\item[(a)] the logic \\(\\mathcal{L}\\) extends \\(\\sigma(\\mathcal{L})\\), and \\(\\sigma(\\mathcal{L})\\) has the disjunction property; \\item[(b)] \\(\\mathcal{L}_\\sigma\\) and \\(\\sigma(\\mathcal{L})\\) are PSPACE-hard; \\item[(c)] for any consistent substructural logic \\(\\mathcal{L}\\), its conuclear image does not admit double negation principle. NEWLINENEWLINE\\end{itemize}} Section 5 of the paper is devoted to the study of properties that are preserved under \\(\\sigma\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2813674$81B3CE23-F092-419E-914A-942C93ACED3B","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":"Q2813674$587942A3-EC09-451C-8FEC-282F009DA3A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28ad4646714ea7c16f8a52ac6fa5608c750339a","datavalue":{"value":{"entity-type":"item","numeric-id":549720,"id":"Q549720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebffc716db93edabf9fc2671ffb5a4d09bdeb851","datavalue":{"value":{"amount":"+0.7349840402603149","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":"Q2813674$BB9B69A5-071E-40AC-9429-2990F64B79B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a47a0f614fc2e62a287d629feffe0d12cb1fbf7f","datavalue":{"value":{"entity-type":"item","numeric-id":4856963,"id":"Q4856963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e34e0f91506580604548eb66a5c9b6415b3f66c2","datavalue":{"value":{"amount":"+0.7341673374176025","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":"Q2813674$FCC8F602-1A8A-4E26-A874-A940A9812C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91a0eafbe4dfa7a08c84b3b2806010939cecc37","datavalue":{"value":{"entity-type":"item","numeric-id":5435112,"id":"Q5435112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59d8221ccd7b7dfdb1d6a6f4085f65d5205c27ac","datavalue":{"value":{"amount":"+0.7275210022926331","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":"Q2813674$58142DE3-F962-48F7-AA67-F2C59469AAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e741157abed225931720fbdec8a83611ec6b184a","datavalue":{"value":{"entity-type":"item","numeric-id":4520811,"id":"Q4520811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37bb74b82a6e2ed28a63d2d1794beb5a2db7860","datavalue":{"value":{"amount":"+0.7131178975105286","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":"Q2813674$E58F5168-ABD2-48A5-B984-C21264DB45EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"091c6dacd6c700e170221b862b9d1437439adab2","datavalue":{"value":{"entity-type":"item","numeric-id":1425193,"id":"Q1425193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0d4d5e6c6b74cfb14009ae595f5b67666ee8abe","datavalue":{"value":{"amount":"+0.7105034589767456","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":"Q2813674$6AB37D58-1FAB-47FC-BC5B-2BFE108F9B2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2813674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2813674"}}}}}