论文信息 - Two new strategies for inconsistency-adaptive logics

Two new strategies for inconsistency-adaptive logics

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.

Kristof de Clercq | Kristof De Clercq

[1] D. Batens. TOWARDS THE UNIFICATION OF INCONSISTENCY HANDLING MECHANISMS , 2004 .

[2] Guido Vanackere. Preferences as inconsistency-resolvers: an Inconsistency-adaptive Tool , 2001 .

[3] Grigoris Antoniou,et al. Nonmonotonic reasoning , 1997 .

[4] Gerhard Brewka,et al. Nonmonotonic Reasoning: Logical Foundations of Commonsense By Gerhard Brewka (Cambridge University Press, 1991) , 1991, SGAR.

[5] Diderik Batens,et al. A survey of inconsistency-adaptive logics , 2000 .

[6] Diderik Batens. Inconsistency-adaptive logies and the foundation of non-monotonic logic , 1994 .

[7] Diderik Batens. Inconsistency-Adaptive Logics , 1999 .