{"entities":{"Q2294582":{"pageid":2305325,"ns":120,"title":"Item:Q2294582","lastrevid":57646839,"modified":"2026-03-31T18:54:15Z","type":"item","id":"Q2294582","labels":{"en":{"language":"en","value":"Impossibility results for belief contraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7166045"}},"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":"Q2294582$67FCF295-FA02-448C-B3B7-0FDF37D0017D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecd2e075da42994d716eb4c49396ded7e2c81956","datavalue":{"value":{"text":"Impossibility results for belief contraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2294582$9FF72A2C-DA0E-4302-9D99-455D2D41577C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec89c39e12fe94cc386871df1b703d2b109930e3","datavalue":{"value":"1471.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294582$DCE17C3A-1220-4DDE-B4E7-DDC2BF66896C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a09e9d158e17250abe5c6bb76faa9ad3e004c94","datavalue":{"value":{"entity-type":"item","numeric-id":253981,"id":"Q253981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$0008CD1C-561F-4E7A-9D3A-18C1A0CD82C6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$22D1C7EC-B1EE-4833-BBDA-FDA5471A33E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b6e2eeedf8e55f06b00a7b5e5c6475d26222915","datavalue":{"value":{"time":"+2020-02-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2294582$BAFAEF9A-4ABB-497E-AB5E-868B10EB6469","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bfd92c4afe0ed1c0807563ac79a9fc6e9350f010","datavalue":{"value":"This paper proves the logical incompatibility of some plausible properties of an operation of belief contraction \\(\\operatorname{div}\\) on a finite-based belief set, such that for any sentence \\(p\\) the outcome \\(K\\operatorname{div} p\\) is also a finite-based belief set.  A belief set is said to be finite-based if there exists some finite set \\(B\\) such that \\(K = Cn(B)\\). The paper under review presents some impossibility results concerning the properties of an operation of belief contraction \\(\\operatorname{div}\\) on a finite-based belief set which satisfies the following postulate, that was introduced in [\\textit{S. O. Hansson}, Stud. Log. 100, No. 5, 907--920 (2012; Zbl 1317.03022)]:  If \\(K\\) is finite-based, then so is \\(K \\operatorname{div} p\\) (finite-based outcome).  The main results presented (and proved) in this paper can be summarized as follows:  If \\(\\operatorname{div}\\) is an operation on a finite-based belief set \\(K\\) that satisfies finite-based outcome, then \\begin{itemize} \\item[(a)] The operation \\(\\operatorname{div}\\) does not satisfy (simultaneously) the two following properties:  There is some \\(p \\in K\\) such that \\(K\\operatorname{div} p \\nvdash p\\) (minimal success).  If \\(p \\in K \\setminus Cn(\\emptyset)\\), then there is no non-tautologous sentence \\(q\\) such that \\(p \\vdash q\\) and \\(K\\operatorname{div} p \\cap Cn(q) = Cn(\\emptyset)\\) (no implied eradication). \\item[(b)] The operation \\(\\operatorname{div}\\) does not satisfy (simultaneously) the two following properties:  \\(Cn(K\\operatorname{div} p) \\subset K\\) for some sentence \\(p\\) (reducibility);  There is no non-tautologous sentence \\(q \\in K\\) such that \\(K\\operatorname{div} p \\cap Cn(q) = Cn(\\emptyset)\\) (no eradication). \\end{itemize} We note that the above mentioned properties ``no implied eradication'' and ``no eradication'' are two strengthenings of the negation of the following property, introduced in [\\textit{S. O. Hansson}, J. Appl. Log. 10, No. 1, 75--84 (2012; Zbl 1253.03007)]:  \\(K\\operatorname{div} p \\cap Cn(p) = Cn(\\emptyset)\\) (eradication success).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294582$3EE8DC27-8153-4A51-9CCB-72D4E81E191E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294582$07F03736-6902-4894-938D-CEEA5AFC20D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ffffddd1ab94304bebde5032e5416f26a5fa448","datavalue":{"value":"7166045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294582$AF7E80CC-A061-49A2-960F-312268F07D12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bedeaeac111061df471ac114d83c77ac38d00603","datavalue":{"value":"belief change","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294582$FEB578F1-E256-4A4D-A6A8-8D17CA4CFC6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4605262f950382e87dc58df46038532164191769","datavalue":{"value":"contraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294582$77E01046-B4B9-45EF-9B58-FD9C21D48E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40cf25f63a931652f4ea310df46d000b9146c04b","datavalue":{"value":"eradication","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294582$02315A29-FA1B-4EE9-BECD-65531CBA6C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"971efdd3cd8439f72e2e641f25e6ded8c89a0e9e","datavalue":{"value":"success postulates","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294582$13295A9F-0EDB-464F-86A9-4B91C8B1F8DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2e174ad3aa0278ef1dba9bf704e5c2609b67c6","datavalue":{"value":"finite-based outcome","type":"string"},"datatype":"string"},"type":"statement","id":"Q2294582$EF41BC50-F081-4D39-8412-B0131F63A1D6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"db84199d80dbf2c0a4d63f3de0a427688a2d4b1c","datavalue":{"value":{"entity-type":"item","numeric-id":254003,"id":"Q254003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$5B3F5AAE-C5DE-432A-81FC-BEFF71A55A1E","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":"Q2294582$52D847F2-40DF-45ED-9B33-14235897643E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8b3b347a303ba6397b02b8540dbc4eecd6570f4","datavalue":{"value":"https://doi.org/10.1007/s10472-019-09635-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2294582$C3905895-D0C6-40CD-AD1F-3D94F4D2259C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed61d79e1ed3a86501abd8db27265378c3e42fc0","datavalue":{"value":"W2953228293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294582$2E4EECBE-D2B5-44F7-9726-28BCA24A67FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a58fd1c1d08ee970b5e620a3f873df3171087eba","datavalue":{"value":{"entity-type":"item","numeric-id":3699670,"id":"Q3699670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$04C6E9AD-9478-4103-BAAB-D0E3889455E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91d16fe1b331bc6897dff2d1b5b0e4798b39828","datavalue":{"value":{"entity-type":"item","numeric-id":3968905,"id":"Q3968905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$CE4769A7-A6F7-4D8C-AA6F-9ADAAD1AF00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d35c0d7181d2038b8b7014ebf6ed761fedba9d4","datavalue":{"value":{"entity-type":"item","numeric-id":4546697,"id":"Q4546697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$2BAAC71F-DCC7-47BE-93D5-4C259A69F231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86131b2cf96350686ffa09eeb2a3a40f3d8505f7","datavalue":{"value":{"entity-type":"item","numeric-id":5235466,"id":"Q5235466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$4C0D19CF-726C-45C3-8039-72DBD42010B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf83d9ffe43be1e2ee556b30047ca18fa3be49b","datavalue":{"value":{"entity-type":"item","numeric-id":3495345,"id":"Q3495345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$AA377C74-2C4F-442A-84F3-B28F3607B4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ab5b8ddeaa9868d661be3cfcd6d5918e79064a","datavalue":{"value":{"entity-type":"item","numeric-id":3138015,"id":"Q3138015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$50523106-90E4-4D6C-85F6-401A04426BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4569d963b155abbcb87f982ca2df3cf976f2c4c3","datavalue":{"value":{"entity-type":"item","numeric-id":1977408,"id":"Q1977408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$32D3DD7F-19AC-4B44-AE6B-34FA56B7B360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f610d4739036c9351e47275dc3600af94d8ba4fb","datavalue":{"value":{"entity-type":"item","numeric-id":946198,"id":"Q946198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$A4B94B77-3333-445C-AD19-3158FCAFBD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf0fa45dee28a88af3c0a5cae39aa081e2d79b7e","datavalue":{"value":{"entity-type":"item","numeric-id":420838,"id":"Q420838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$DBD6B22F-6BAD-4328-B341-725F04CD10B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d6287eb25390dd7026717bb963c1efe6b36bcdb","datavalue":{"value":{"entity-type":"item","numeric-id":1928486,"id":"Q1928486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$44DC2DA8-EB2B-4D18-A507-CDF8B307C59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d43e72365fd99cc036021cbbf38085cf7d89b06","datavalue":{"value":{"entity-type":"item","numeric-id":1602963,"id":"Q1602963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$04B43B41-5399-4DE6-890F-78F923AD5C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2138e2326f0165f70dc93154bfd6a582bd73c336","datavalue":{"value":{"entity-type":"item","numeric-id":1095131,"id":"Q1095131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$93EFF668-7C62-4849-92C3-7FC2FE1A279D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff599fc99565f31cf0b6240ef6ab807da1f5478","datavalue":{"value":{"entity-type":"item","numeric-id":4518818,"id":"Q4518818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$D031CF6A-EA85-446D-A07C-364B1312D9ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33481434c39a8206fe1026c2219182dbb845a056","datavalue":{"value":{"entity-type":"item","numeric-id":1314292,"id":"Q1314292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$CBD7067C-8BD6-40A1-9664-FCA6AB098C5E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"57f89b0e5581960e590342cb6f6179d9d3c73a84","datavalue":{"value":"Q127669568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294582$B8B0C5E6-F85E-4955-82D2-0FF8D504ED8B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"873e405846e11915c13663b37b1b92c47d8b9696","datavalue":{"value":"10.1007/S10472-019-09635-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2294582$8513C45C-898F-4745-A002-08A9E9247E68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7cae64656f02d673996088566eb42c47d335f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1928486,"id":"Q1928486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a58c5e8915a1dd1da22010ec0a5df04ea8c8498b","datavalue":{"value":{"amount":"+0.8703790307044983","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":"Q2294582$C62CBF05-D349-4040-86AE-5A13BFFD5913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e393e0303775552b4fe02905f3ad241f744dd0","datavalue":{"value":{"entity-type":"item","numeric-id":3138015,"id":"Q3138015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704797a4db0bcdfc9b78b6b612f08d1b356ca1f1","datavalue":{"value":{"amount":"+0.8457404375076294","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":"Q2294582$EC2FBB0E-991F-4446-9CF1-6CBFC50296AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fe82f5657d1734ea95d8060d21711c435c75cb7","datavalue":{"value":{"entity-type":"item","numeric-id":1314509,"id":"Q1314509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704797a4db0bcdfc9b78b6b612f08d1b356ca1f1","datavalue":{"value":{"amount":"+0.8457404375076294","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":"Q2294582$7FBFE0E7-0AF8-4E29-8277-E734ADD49F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cfe961baa46dbd52b003d028dd7ebe4c8f5a4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4314675,"id":"Q4314675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abc021d6e0529bac07d7a15f2a241eb2e02f6b48","datavalue":{"value":{"amount":"+0.8351563811302185","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":"Q2294582$561D92D7-3B2B-498F-A3AF-E4886EB5FEB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab0c3abb0a4e62cf4dd77b1d1f813b69318dd04d","datavalue":{"value":{"entity-type":"item","numeric-id":1871124,"id":"Q1871124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77a420bbd2070300c10c341c6d970f4debad75b4","datavalue":{"value":{"amount":"+0.8292258381843567","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":"Q2294582$37ED9B49-1839-47F5-83CA-7BF963AB4D34","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2294582$ACF6C898-75AB-4622-BFC9-79FC17AD3AE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2294582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2294582"}}}}}