Change search
ReferencesLink to record
Permanent link

Direct link
KTH, School of Architecture and the Built Environment (ABE), Philosophy and History of Technology, Philosophy.
2012 (English)In: Journal of Applied Logic, ISSN 1570-8683, E-ISSN 1570-8691, Vol. 10, no 1, 75-84 p.Article in journal (Refereed) Published
Abstract [en]

Eradication is a radical form of contraction that removes not only a sentence but also all of its non-tautological consequences from a belief set. Eradication of a single sentence that was included in the original belief set coincides with full meet contraction, but if the sentence is external to the belief set then the two operations differ. Multiple eradication, i.e. simultaneous eradication of several sentences, differs from full meet contraction even if the sentences to be contracted are all included in the original belief set. Eradication is axiomatically characterized and its properties investigated. It is shown to have close connections with the recovery postulate for multiple contraction. Based on these connections it is proposed that eradication rather than full meet contraction is the appropriate lower limiting case for multiple contraction operators.

Place, publisher, year, edition, pages
2012. Vol. 10, no 1, 75-84 p.
Keyword [en]
Eradication, Full meet contraction, Multiple contraction, Partial meet contraction, Belief revision, Contraction, Recovery
National Category
Other Mathematics
URN: urn:nbn:se:kth:diva-92055DOI: 10.1016/j.jal.2011.08.001ISI: 000300802700005ScopusID: 2-s2.0-84856483956OAI: diva2:512237
QC 20120327Available from: 2012-03-27 Created: 2012-03-26 Last updated: 2012-03-27Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Hansson, Sven Ove
By organisation
In the same journal
Journal of Applied Logic
Other Mathematics

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 30 hits
ReferencesLink to record
Permanent link

Direct link