Two new strategies for inconsistency-adaptive logics

Kristof De Clercq

DOI: http://dx.doi.org/10.12775/LLP.2000.004

Abstract


In this paper I present two new strategies for inconsistency adaptive logics: the reliable sufficient information strategy of ACLuN3 and the minimally abnormal sufficient information strategy of ACLuN4. I give proof theory and semantics for both ACLuN3 and ACLuN4. I also compare them with the well-known inconsistency-adaptive logics ACLuN1 and ACLuN2.

Full Text:

PDF

References


Antoniou, G., Nonmonotonic Reasoning. Cambridge, Mass., MIT Press, 1996.

Batens, D., “Dynamic Dialectical logics”, in: G. Priest, R. Routley & J. Norman (eds.), Paraconsistent Logic. Essays on the Inconsistent. München, Philosophia Verlag, 1989, 187–217.

Batens, D., “Inconsistency-Adaptive Logics and the Foudation of Non-Monotonic Logics”, Logique et Analyse 145, Mars 1994, 57–94.

Batens, D., “Functioning and teaching of adaptive logics”, in: J. Van Benthem, F.H. Van Eemeren, R. Grootendorst and F. Veltman (eds.), Logic and Argumentation. Amsterdam, North-Holland, 1996, pp. 241–254.

Batens, D., “Inconsistency-Adaptive Logics”, in: Ewa Or lowska (ed.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa. Heidelberg, New York, Springer, 1998, 445–472.

Batens, D., “A survey of inconsistency-adaptive logics”. In D. Batens, C. Mortensen, G. Priest, J.P. Van Bendegem (eds.): Frontiers of Paraconsistent Logic. Baldock, Research Studies Press, King’s College Publications, 2000, pp. 49–73.

Batens, D., “Towards the unification of inconsistency handling mechanisms”. In this volume pp. 5–31.

Brewka, G., Nonmonotonic Reasoning: Logical Foundations of Commonsense. Cambridge University Press, 1991.

De Clercq, K., “Reconstructie van een aantal niet-monotone logica’s aan de hand van een inconsistentie-adaptive logica”. Unpublished dissertation (in Dutch).

Vanackere, G., “Preferences as inconsistency-resolvers: the inconsistency-adaptive Logic PRL”. In this volume pp. 47–63.








ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism