Blockage Contraction.
Blockage contraction is an operation of belief contraction that acts directly on the outcome set, i.e. the set of logically closed subsets of the original belief set K that are potential contraction outcomes. Blocking is represented by a binary relation on the outcome set. If a potential outcome X b...
| Publicado en: | Journal of Philosophical Logic Vol. 42; no. 2; pp. 415 - 443 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Springer Nature
Apr2013
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=86196936&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 86196936 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00223611 JPH jtl: Journal of Philosophical Logic issn: 00223611 maglogo: N pubinfo: dt: Apr2013 vid: 42 iid: 2 pid: 237 pub: Springer Nature artinfo: ui: 86196936 10.1007/s10992-012-9231-9 ppf: 415 ppct: 28 formats: fmt: @attributes: type: P size: 479KB tig: atl: Blockage Contraction. aug: au: Hansson, Sven affil: Division of Philosophy, Royal Institute of Technology, Teknikringen 78 100 44 Stockholm Sweden su: Abbreviations Existence theorems Division (Philosophy) Structural frames Borel subsets Operations research sug: subj: Abbreviations Existence theorems Division (Philosophy) Structural frames Borel subsets Operations research keyword: AGM Belief bases Blockage contraction Blocking relation Kernel contraction Outcome set Partial meet contraction Repertoire contraction ab: Blockage contraction is an operation of belief contraction that acts directly on the outcome set, i.e. the set of logically closed subsets of the original belief set K that are potential contraction outcomes. Blocking is represented by a binary relation on the outcome set. If a potential outcome X blocks another potential outcome Y, and X does not imply the sentence p to be contracted, then Y ≠ K ÷ p. The contraction outcome K ÷ p is equal to the (unique) inclusion-maximal unblocked element of the outcome set that does not imply p. Conditions on the blocking relation are specified that ensure the existence of such a unique inclusion-maximal set for all sentences p. Blockage contraction is axiomatically characterized and its relations to AGM-style operations are investigated. In a finite-based framework, every transitively relational partial meet contraction is also a blockage contraction. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Journal of Philosophical Logic is a copyright of Springer, 2013. All Rights Reserved. item: Journal of Philosophical Logic holder: Springer Nature dt: @attributes: year: 2013 holdings: @attributes: islocal: N |
|---|