Definability and quantifier elimination for \(J_ 3\)-theories (Q1095881)

In a previous paper [C. R. Acad. Sci., Paris, Sér. A 270, 1349-1353 (1970; Zbl 0198.017)] the author and \textit{N. C. A. da Costa} introduced a three-valued propositional calculus with two distinguished truth-values, denoted by \(J_ 3\), which reflects some aspects of certain types of modal logics and is paraconsistent. In another paper [Rev. Colomb. Math. 19, 77-94 (1985; Zbl 0614.03020)] the author axiomatized \(J_ 3\), defined the three-valued first-order \(J_ 3\)-theories and proved the Completeness Theorem for this kind of many-valued logics. The theory of models for \(J_ 3\)-theories reflects a great deal of the classical model theory. Generalized versions of some of the principal classical results were obtained. In some cases, the author obtained more than one generalization of these results, all of them compatible both with the many-valued aspects and the modal characteristics of \(J_ 3\)- theories [see Lect. Notes Math. 1130, 157-173 (1985; Zbl 0594.03012)]. The aim of this paper is to present the Joint Non-Trivialization Theorem, which generalizes the classical Craig-Robinson's Joint Consistency Theorem and which permitted the author to obtain an Interpolation Lemma for \(J_ 3\)-theories related to the basic implication of \(J_ 3\); four Definability Theorems, one of Almost-Definability, two intermediate theorems and another one of Strong Definability, all of them asserting gradual conditions which permit to define one nonlogical symbol \(\mu\) in a \(J_ 3\)-theory T, in terms of a set of nonlogical symbols not containing \(\mu\) ; and the generalized Quantifier Elimination Theorem. Specific definitions for definability are introduced. After introducing the specific definition for \(\nabla\)-equivalence satisfability condition, the author proves the Quantifier Elimination Theorem for \(J_ 3\)- theories, which is meaningful for \(J_ 3\)-theories and general many- valued and modal logics. Finally, the paper presents some of the main results on Cardinality of \(J_ 3\)-Models and Categoricity. The results and proofs involve specific characteristics of paraconsistent many-valued modal logics, and reflect the existence of more than one distinguished truth-value in the matrix defining \(J_ 3\)-theories.