论文信息 - Contracting Intuitionistic Theories

Contracting Intuitionistic Theories

I reformulate the AGM-account of contraction (which would yield an account also of revision). The reformulation involves using introduction and elimination rules for relational notions. Then I investigate the extent to which the two main methods of partial meet contraction and safe contraction can be employed for theories closed under intuitionistic consequence.

Neil Tennant

[1] André Fuhrmann. An Essay on Contraction , 1996 .

[2] Neil Tennant,et al. Theory-Contraction is NP-Complete , 2003, Log. J. IGPL.

[3] Gerhard Lakemeyer,et al. Belief Revision in a Nonclassical Logic , 1996, KI.

[4] Wlodzimierz Rabinowicz,et al. On probabilistic representation of non-probabilistic belief revision , 1989, J. Philos. Log..

[5] Thomas Andreas Meyer,et al. Some logics of belief and disbelief , 2002, NMR.

[6] Peter Gärdenfors,et al. On the logic of theory change: Partial meet contraction and revision functions , 1985, Journal of Symbolic Logic.

[7] David Makinson,et al. On the logic of theory change: Safe contraction , 1985, Stud Logica.

[8] R. J. Vernengo. In memoriam Carlos Eduardo Alchourrón , 1996 .

[9] Peter Gärdenfors,et al. Knowledge in Flux , 1988 .

[10] Wlodzimierz Rabinowicz,et al. Epistemic entrenchment with incomparabilities and relational belief revision , 1989, The Logic of Theory Change.

[11] André Fuhrmann,et al. Theory contraction through base contraction , 1991, J. Philos. Log..