{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T10:28:38Z","timestamp":1776940118365,"version":"3.51.4"},"reference-count":16,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2022,11,24]],"date-time":"2022-11-24T00:00:00Z","timestamp":1669248000000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2024,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Two of the most well-known belief contraction operators are partial meet contractions (PMCs) and kernel contractions (KCs). In this paper we propose two new classes of contraction operators, namely the class of generalized partial meet contractions (GPMC) and the class of generalized kernel contractions (GKC), which strictly contain the classes of PMCs and of KCs, respectively. We identify some extra conditions that can be added to the definitions of GPMCs and of GKCs, which give rise to some interesting subclasses of those classes of functions, namely the classes of extensional and of uniform GPMCs\/GKCs. In the context of contractions on belief sets the classes of partial meet contractions, uniform GPMCs and extensional GPMCs are all identical. Nevertheless, when considered as operations on belief bases, the class of uniform GPMCs coincides with the class of partial meet contractions, but the extensional GPMCs constitute a new kind of belief base contraction functions whose characterizing postulate of irrelevance of syntax is extensionality\u2014the same postulate of irrelevance of syntax which occurs in the classical axiomatic characterization of partial meet contractions for belief sets\u2014rather than the postulate of uniformity\u2014which is the irrelevance of syntax postulate used in the axiomatic characterization for partial meet contractions on belief bases. Analogous results are obtained regarding the classes of extensional and of uniform GKCs. We present the interrelations in the sense of inclusion among all the new classes of operators presented in this paper and several well known classes of PMCs and of KCs.<\/jats:p>","DOI":"10.1017\/s175502032200034x","type":"journal-article","created":{"date-parts":[[2022,11,24]],"date-time":"2022-11-24T04:26:01Z","timestamp":1669263961000},"page":"366-394","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":1,"title":["GENERALIZED PARTIAL MEET AND KERNEL CONTRACTIONS"],"prefix":"10.1017","volume":"17","author":[{"given":"MARCO","family":"GARAPA","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MAUR\u00cdCIO D. L.","family":"REIS","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2022,11,24]]},"reference":[{"key":"S175502032200034X_r15","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-7759-0_4"},{"key":"S175502032200034X_r16","volume-title":"Logic, Semantics, Metamathematics","author":"Tarski","year":"1956"},{"key":"S175502032200034X_r1","doi-asserted-by":"publisher","DOI":"10.2307\/2274239"},{"key":"S175502032200034X_r3","doi-asserted-by":"publisher","DOI":"10.1007\/BF00370430"},{"key":"S175502032200034X_r6","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9171-9"},{"key":"S175502032200034X_r4","doi-asserted-by":"publisher","DOI":"10.1007\/BF00373274"},{"key":"S175502032200034X_r2","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-009-8484-4_5"},{"key":"S175502032200034X_r11","doi-asserted-by":"publisher","DOI":"10.2307\/2275912"},{"key":"S175502032200034X_r9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526664.004"},{"key":"S175502032200034X_r8","unstructured":"[8] Hansson, S. O. (1991). Belief Base Dynamics. Ph.D. Thesis, Uppsala University."},{"key":"S175502032200034X_r13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526664.005"},{"key":"S175502032200034X_r5","unstructured":"[5] Dalal, M. (1988). Investigations into a theory of knowledge base revision: Preliminary report. In Seventh National Conference on Artificial Intelligence (AAAI-88) (St. Paul), USA: AAAI Press, pp. 475\u2013479."},{"key":"S175502032200034X_r10","doi-asserted-by":"publisher","DOI":"10.1007\/BF01054039"},{"key":"S175502032200034X_r7","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"G\u00e4rdenfors","year":"1988"},{"key":"S175502032200034X_r14","doi-asserted-by":"publisher","DOI":"10.2307\/2678489"},{"key":"S175502032200034X_r12","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-007-0814-3"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S175502032200034X","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T13:20:11Z","timestamp":1716816011000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S175502032200034X\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,24]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["S175502032200034X"],"URL":"https:\/\/doi.org\/10.1017\/s175502032200034x","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11,24]]},"assertion":[{"value":"\u00a9 The Author(s), 2022. Published by Cambridge University Press on behalf of The Association for Symbolic Logic","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}}]}}