{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:15:26Z","timestamp":1759032926448},"reference-count":10,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1987,3,1]],"date-time":"1987-03-01T00:00:00Z","timestamp":541555200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[1987,3]]},"DOI":"10.1007\/bf00396904","type":"journal-article","created":{"date-parts":[[2004,10,19]],"date-time":"2004-10-19T13:23:24Z","timestamp":1098192204000},"page":"37-54","source":"Crossref","is-referenced-by-count":13,"title":["Definability and Quantifier Elimination for J 3-theories"],"prefix":"10.1007","volume":"46","author":[{"given":"\ufffdtala M. L.","family":"D'Ottaviano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","first-page":"1","volume-title":"Mathematical Logic in Latin America","author":"A. I. Arruda","year":"1980","unstructured":"A. I. Arruda, A survey of paraconsistent logic, Mathematical Logic in Latin America, North-Holland, Amsterdam, 1980, pp. 1?41."},{"volume-title":"Selected Works of J. ?ukasiewicz","year":"1970","key":"CR2","unstructured":"L. Borkowski (Ed.), Selected Works of J. ?ukasiewicz, North-Holland, Amsterdam, 1970."},{"key":"CR3","first-page":"1349","volume":"270A","author":"I. M. L. D'Ottaviano","year":"1970","unstructured":"I. M. L. D'Ottaviano and N. C. A. da Costa, Sur un probl\u00e8me de Ja?kcowski, C. R. Acad. Sc. Paris, 270A, 1970, pp. 1349?1353.","journal-title":"C. R. Acad. Sc. Paris"},{"key":"CR4","unstructured":"I. M. L. D'Ottaviano, Sobre uma teoria de modelos trivalente (Thesis), Universidade Estadual de Campinas, 1982."},{"key":"CR5","unstructured":"I. M. L. D'Ottaviano, The completeness and compactness of a three-valued first-order logic, Revista Colombiana de Matem\u00e1ticas, vol. XIX, 1?2, Proceedings of the Fifth Latin-American Symposium on Mathematical Logic, 1985, pp. 31?42."},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1007\/BFb0075310"},{"key":"CR7","first-page":"39","volume":"23","author":"J. ?ukasiewicz","year":"1930","unstructured":"J. ?ukasiewicz and A. Tarski, Untersuchunger \u00dcber den Aussagenkalk\u00fcll, C. R. Soc. Sci. Lett. Varsovie 23, 1930, pp. 39?50 (Translation to English in [2], pp. 131?152).","journal-title":"C. R. Soc. Sci. Lett. Varsovie"},{"key":"CR8","volume-title":"Many-valued Logics","author":"N. Rescher","year":"1969","unstructured":"N. Rescher, Many-valued Logics, McGraw-Hill, N. York, 1969."},{"key":"CR9","volume-title":"Many-valued Logics","author":"J. B. Rosser","year":"1952","unstructured":"J. B. Rosser and A. Turquette, Many-valued Logics, North-Holland, Amsterdam, 1952."},{"key":"CR10","volume-title":"Mathematical Logic","author":"J. R. Shoenfield","year":"1967","unstructured":"J. R. Shoenfield, Mathematical Logic, Addison Wesley, Reading, 1967."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00396904.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00396904\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00396904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,3]],"date-time":"2020-04-03T11:05:37Z","timestamp":1585911937000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00396904"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,3]]},"references-count":10,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,3]]}},"alternative-id":["BF00396904"],"URL":"https:\/\/doi.org\/10.1007\/bf00396904","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[1987,3]]}}}