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.
Similar content being viewed by others
References
A. I. Arruda, A survey of paraconsistent logic, Mathematical Logic in Latin America, North-Holland, Amsterdam, 1980, pp. 1–41.
L. Borkowski (Ed.), Selected Works of J. Łukasiewicz, North-Holland, Amsterdam, 1970.
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.
I. M. L. D'Ottaviano, Sobre uma teoria de modelos trivalente (Thesis), Universidade Estadual de Campinas, 1982.
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.
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.
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).
N. Rescher, Many-valued Logics, McGraw-Hill, N. York, 1969.
J. B. Rosser and A. Turquette, Many-valued Logics, North-Holland, Amsterdam, 1952.
J. R. Shoenfield, Mathematical Logic, Addison Wesley, Reading, 1967.
Author information
Authors and Affiliations
Rights 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
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00396904