{"entities":{"Q1576386":{"pageid":1587126,"ns":120,"title":"Item:Q1576386","lastrevid":47031288,"modified":"2025-12-26T02:14:51Z","type":"item","id":"Q1576386","labels":{"en":{"language":"en","value":"CE is not a conservative extension of E"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1491206"}},"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":"Q1576386$C8FAB6CA-1994-41D3-83EC-463064DE4F61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97b623aa05f4e6253cfa95071f4a36eaf312791d","datavalue":{"value":{"text":"CE is not a conservative extension of E","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1576386$B7F4819C-E478-4E8F-8D95-CB4BD847035C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bcef527b37352ecfbb4528090d1cb04872a699c1","datavalue":{"value":"0958.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576386$48383783-734D-45CF-AD0A-867F1A6A797D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98df91793c6a32601a69755dbb1bbee2b97e6f51","datavalue":{"value":"10.1023/A:1004731401855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576386$A9C8F8B9-7D4C-4E35-B9C8-57CDB02D53FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93eeb797a805b6920f698dde39c2c782589dabf6","datavalue":{"value":{"entity-type":"item","numeric-id":833036,"id":"Q833036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576386$370101E0-EBA4-4B55-8FA5-76C3522C83FC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576386$3EE6A2BE-C936-419F-85E1-A7FEAE9D61CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f06e3965919c6d8e09cf93fa6be5852ecd89988e","datavalue":{"value":{"time":"+2001-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1576386$938D4973-C831-4309-81CA-DFDC71AC6CCD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4d4ae481dca87c0ec9a9b8245a04705d21902bf4","datavalue":{"value":"The logic \\({\\mathbf {CE}}\\) results from adding Boolean negation, \\(\\neg\\), to the Anderson-Belnap logic \\({\\mathbf E}\\) of entailment. Semantically, this is treated classically, so that \\(\\neg A\\) is true at a point, or `possible world', iff \\(A\\) is not true at that point. Boolean negation contrasts with the de Morgan negation, \\(\\sim\\), of \\({\\mathbf E}\\) and other relevant logics, which requires a more complex semantical rule. As the title indicates, this paper demonstrates that \\({\\mathbf {CE}}\\) is not a conservative extension of \\({\\mathbf E}\\). The proof is based on the Routley-Meyer ternary relational semantics for relevant logics, wherein \\({\\mathbf {CE}}\\) can be proved sound and complete, and to contain a formula in the vocabulary of \\({\\mathbf E}\\) that is not provable in \\({\\mathbf E}\\). The result is interesting since the addition of Boolean negation to the logic \\({\\mathbf R}\\), which is stronger than \\({\\mathbf E}\\), is conservative, and so is its addition to relevant logics weaker than \\({\\mathbf E}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576386$7C4A7944-7DD1-4D74-B4FC-0862FE619367","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576386$17F3C638-79FD-4DE5-BA5E-2F8AD6F1C3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576386$4ACC474D-CC02-4F2A-A437-92E988CA85D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f304f8cd8816f9b3ebe36b5e57f9a0d3a4deda3c","datavalue":{"value":"1491206","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1576386$05BB984A-D1EB-48CC-BCDA-DFE223F406B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576386$AAE751B2-7DAD-46F3-BD11-095DDD93B9D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576386$5C19D4B7-0A2A-4AB6-A533-F321AFE03057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576386$7D526632-B324-410D-A743-CBED4C594BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88ea97f96b13e4f9b65bc3c2549492770abae51f","datavalue":{"value":"Boolean negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576386$3A5F4046-F95B-4F2D-B73E-09B5A9B1790A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef005c57ec72bf1e5b47bd8f6a8adaa20239b969","datavalue":{"value":"entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1576386$CDC42CD4-60D8-4DC8-B8D4-B36E0F2A3E90","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"6f6a90c2765c02ad5e37dcfdbed0ddc3c8315703","datavalue":{"value":{"entity-type":"item","numeric-id":482532,"id":"Q482532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576386$0972B159-1982-4316-A09F-A4D91658FD52","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":"Q1576386$F5FBB6FC-9E53-4691-BC6A-BA32B6888391","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcad1b51622bd87c59556af8c797422562d18a92","datavalue":{"value":{"entity-type":"item","numeric-id":4297115,"id":"Q4297115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576386$6EF86F81-8AB7-4842-BFE0-7082254547B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fef4d6b2736571f04efea61fb271e19e89d0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4894717,"id":"Q4894717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576386$C044CE5E-6F46-43A8-B7B1-8F6234C51274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fcf96c877e1f3dc92a768344af0f42964fa4d18","datavalue":{"value":{"entity-type":"item","numeric-id":4940721,"id":"Q4940721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576386$61174AE6-CD84-4E6F-BE88-4B8F7FEE503E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863407c65ce4883317901182e4e979c5862273a0","datavalue":{"value":{"entity-type":"item","numeric-id":1221097,"id":"Q1221097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576386$623804D3-6EB7-427E-AD2B-E8BF15432781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb18186c6c017be4957bf1a791094bedbe7e206f","datavalue":{"value":{"entity-type":"item","numeric-id":1221098,"id":"Q1221098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576386$D72B8DC9-606A-4B88-A547-EF83FEC9DDCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84c60d9aa764a441319bcc6ddab79cc77f2f6681","datavalue":{"value":{"entity-type":"item","numeric-id":1221740,"id":"Q1221740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576386$18B1F6CC-50F5-45B4-9E46-DA5940CEB406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89867c68a679832dd5a0729689908ba26626bb91","datavalue":{"value":{"entity-type":"item","numeric-id":3701398,"id":"Q3701398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1576386$6789F0B1-542D-4CCC-9842-98E04DF89402","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0c6f80df2c7e64641051a3d63993c29f680fb8","datavalue":{"value":{"entity-type":"item","numeric-id":5020359,"id":"Q5020359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"769b5b59198dd3dbe6683c8959ea7c70bb7e9d31","datavalue":{"value":{"amount":"+0.8287825584411621","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":"Q1576386$A8BADF62-8550-4615-AA98-FD383287D92F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcc369d36c08637e7da0edd6a2f46a28004b708c","datavalue":{"value":{"entity-type":"item","numeric-id":908897,"id":"Q908897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abe7cdbd14f0fe9552d609342245d1ac895c4cdb","datavalue":{"value":{"amount":"+0.7808510661125183","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":"Q1576386$5AA4B95D-760A-435A-9C85-784141198079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80e28e64f2d0971042b62dc3c5d9b1dccb9fdc88","datavalue":{"value":{"entity-type":"item","numeric-id":5020360,"id":"Q5020360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ce3a45069fe9c6bec511fa95098865d60e1b0d","datavalue":{"value":{"amount":"+0.7589153051376343","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":"Q1576386$E92D4BC7-2F98-4000-8DB9-81E2084C5F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b423fc7b06128ed4f7efd84a5273136376f72fb9","datavalue":{"value":{"entity-type":"item","numeric-id":5020361,"id":"Q5020361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38677f864b92e17f9465b44d33d1455f760ca9e","datavalue":{"value":{"amount":"+0.7584792971611023","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":"Q1576386$DADFB280-DE89-49B3-9301-5D98BEF26794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de2c1326e5c08354f8383b186d56c60726fc44d1","datavalue":{"value":{"entity-type":"item","numeric-id":689076,"id":"Q689076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27f1910b11b6b307620450a3e82d4bc1a670c92","datavalue":{"value":{"amount":"+0.7319517731666565","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":"Q1576386$AB443F6C-3D94-4EA1-B752-D6BD3DA48AEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1576386","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1576386"}}}}}