@incollection {D:ial, title = {Inconsistency-Adaptive Logics}, booktitle = {Logic at Work. {E}ssays Dedicated to the Memory of {H}elena {R}asiowa}, year = {1999}, pages = {445{\textendash}472}, publisher = {Physica Verlag (Springer)}, address = {Heidelberg, New York}, abstract = {

After a general description of adaptive logics and their intended applications, I study the proof theory and semantics of two closely related predicative inconsistency-adaptive logics, ACLuN1 and ACLuN2. To this end, I first describe their monotonic basis: the paraconsistent logic CLuN obtained by dropping the consistency requirement from classical logic. The propositional fragments of these inconsistency-adaptive logics have been studied elsewhere. The predicative versions involve several interesting difficulties that lead to new results.

}, author = {Batens, Diderik}, editor = {Or{\l}owska, Ewa} }