Paraconsistent logic and model theory (Q1068814)

This paper shows that a number of the results of classical model theory carry over to the model theory of a certain paraconsistent logic when suitable modifications to definitions and proofs are made. The logic is the (first order) da Costa logic \(C_ 1+\neg \neg A\supset A\). The results are essentially those in Sections 5.1-5.4 of \textit{J. R. Shoenfield}: Mathematical logic (1967; Zbl 0155.011)]. The essential modification is to require of an embedding of one model into another that it preserves the truth value of negated formulas.