Adaptive proofs for networks of partial structures

Holger Andreas

Peter Verdée

pp. 17-45

in: Holger Andreas, Peter Verdée (eds), Logical studies of paraconsistent reasoning in science and mathematics, Berlin, Springer, 2016

Abstract

The present paper expounds a preferred models semantics of paraconsistent reasoning. The basic idea of this semantics is that we interpret the language L(V) of a theory T in such a way that the axioms of T are satisfied to a maximal extent. These preferred interpretations are described in terms of a network of partial structures. Upon this semantic analysis of paraconsistent reasoning we develop a corresponding proof theory using adaptive logics.