Skip to main content
SpringerLink
Log in

Definability and Quantifier Elimination for J 3-theories

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The Joint Non-Trivialization Theorem, two Definability Theorems and the generalized Quantifier Elimination Theorem are proved for J 3-theories. These theories are three-valued with more than one distinguished truth-value, reflect certain aspects of model type logics and can. be paraconsistent. J 3-theories were introduced in the author's doctoral dissertation.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. A. I. Arruda, A survey of paraconsistent logic, Mathematical Logic in Latin America, North-Holland, Amsterdam, 1980, pp. 1–41.

    Google Scholar 

  2. L. Borkowski (Ed.), Selected Works of J. Łukasiewicz, North-Holland, Amsterdam, 1970.

    Google Scholar 

  3. I. M. L. D'Ottaviano and N. C. A. da Costa, Sur un problème de Jaśkcowski, C. R. Acad. Sc. Paris, 270A, 1970, pp. 1349–1353.

    Google Scholar 

  4. I. M. L. D'Ottaviano, Sobre uma teoria de modelos trivalente (Thesis), Universidade Estadual de Campinas, 1982.

  5. I. M. L. D'Ottaviano, The completeness and compactness of a three-valued first-order logic, Revista Colombiana de Matemáticas, vol. XIX, 1–2, Proceedings of the Fifth Latin-American Symposium on Mathematical Logic, 1985, pp. 31–42.

  6. I. M. L. D'Ottaviano, The model extension theorems for J 3-theories, Methods in Mathematical Logic, Lecture Notes in Mathematics, 1130, Springer Verlag, 1985, pp. 157–173.

  7. J. Łukasiewicz and A. Tarski, Untersuchunger Über den Aussagenkalküll, C. R. Soc. Sci. Lett. Varsovie 23, 1930, pp. 39–50 (Translation to English in [2], pp. 131–152).

    Google Scholar 

  8. N. Rescher, Many-valued Logics, McGraw-Hill, N. York, 1969.

    Google Scholar 

  9. J. B. Rosser and A. Turquette, Many-valued Logics, North-Holland, Amsterdam, 1952.

    Google Scholar 

  10. J. R. Shoenfield, Mathematical Logic, Addison Wesley, Reading, 1967.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, Statistics and Computer Sciences, State University of Campinas, Campinas, Brazil

    Ítala M. L. D'Ottaviano

Authors
  1. Ítala M. L. D'Ottaviano
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

D'Ottaviano, Í.M.L. Definability and Quantifier Elimination for J 3-theories. Stud Logica 46, 37–54 (1987). https://doi.org/10.1007/BF00396904

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00396904

Keywords

Search

Navigation