@article {319505,
	title = {Proof Theories for Some Prioritized Consequence Relations},
	journal = {Logique et Analyse},
	volume = {46},
	number = {183{\textendash}184},
	year = {2003},
	pages = {325{\textendash}344},
	abstract = {<p>Handling a possibly inconsistent prioritized belief base can be done in terms of consistent subsets. Humans do not compute consistent subsets, they just start reasoning and when confronted with incon- sistencies in the course of their reasoning, they may adjust their interpretation of the information. In logics this behaviour corresponds to the mechanisms of dynamic proof theories. The aim of this paper is to transform known consequence relations for inconsistent prioritized belief bases in terms of consistent subsets, into dynamic proof theories that are a more faithful representation of human reasoning processes.</p>},
	issn = {0024-5836},
	author = {Verhoeven, Liza}
}
