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." /> Adaptive proofs for networks of partial structures - Andreas Holger; Verdée Peter | sdvig press

Adaptive proofs for networks of partial structures

Holger Andreas , Peter Verdée

pp. 17-45

Download
Other Editions

This document is unfortunately not available for download at the moment.