{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T11:52:38Z","timestamp":1759146758383},"reference-count":25,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1999,1]]},"DOI":"10.1080\/11663081.1999.10510960","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:14:19Z","timestamp":1338365659000},"page":"121-140","source":"Crossref","is-referenced-by-count":6,"title":["Many-Valued Logics and Translations"],"prefix":"10.1080","volume":"9","author":[{"given":"\u00cdtala M.","family":"Loffredo D'Ottaviano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e9rcules","family":"de Araujo Feitosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","reference":[{"key":"CIT0001","volume-title":"Lukasiewicz-Moisil algebras.","author":"BOICESCU V.","year":"1991"},{"key":"CIT0002","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-08494-6","volume-title":"Many-valued logics:","author":"BOLC L.","year":"1992"},{"key":"CIT0003","volume-title":"Translations between logics a manifesto.","author":"CARNIELLI W. A."},{"key":"CIT0004","unstructured":"CIGNOLI, R. 1980.Proceedings of the Third Brazilian Conference on Mathematical Logic.Edited by: ARRUDA, A. I., DA COSTA, N. C.A. and SETTE, A. M. 49\u201369. Some algebraic aspects of many-valued-logics. In: S\u00e2o Paulo: Sociedade Brasileira de L\u00f3gica"},{"key":"CIT0006","volume-title":"Translations between logics.","author":"DA SILVA J. J."},{"key":"CIT0007","volume-title":"Fechos caracterizados por interpreta\u00e7\u00f5es","author":"D'OTTAVIANO I. M.L.","year":"1973"},{"key":"CIT0008","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-0525-2","volume-title":"The semantic foundations of logic. Volume 1: Proposicional logics","author":"EPSTEIN R. L.","year":"1990"},{"key":"CIT0009","volume-title":"Tradu\u00e7\u00f5es conservativas (Conservative translations)","author":"FEITOSA H. A.","year":"1997"},{"key":"CIT0010","doi-asserted-by":"crossref","volume-title":"Conservative translations.","author":"FEITOSA H. A.","DOI":"10.1016\/S0168-0072(00)00046-4"},{"key":"CIT0011","doi-asserted-by":"crossref","unstructured":"GENTZEN, G. 1969.The collected papers of Gerhard Gentzen.Edited by: SZABO, M. E. 53\u201367. On the relation between intuitionistic and classical arithmetic. In: Amsterdam: North-Holland","DOI":"10.1016\/S0049-237X(08)70821-8"},{"key":"CIT0012","unstructured":"GLIVENKO, V. 1929.Acad\u00e9mie Royale de Belgique. Bulletins de la Classe de Sciences.183\u2013188. Sur quelques points de la logique de M. Brouwer. S\u00e9rie 5, v. 15"},{"key":"CIT0013","unstructured":"G\u00d6DEL, K. 1986. Edited by: FEFERMAN, S. 287\u2013295. Oxford: Oxford University Press. On intuitionistic arithmetic and number theory (1933a). In: Collected works."},{"key":"CIT0014","doi-asserted-by":"crossref","unstructured":"FEFERMAN, S., eds. 1986.Collected works.301\u2013303. Oxford University Press. An interpretation of the intuitionistic proposicional calculus (1933b). In:","DOI":"10.1093\/oso\/9780195147209.003.0067"},{"key":"CIT0015","unstructured":"HEYTING, A. 1930.Sitzungsberichte der Preussischen (Berlin) Akademie der Wissenschaften42\u201356. Die formalen Regeln der intuitionistschen Logik Phys. Math. K1."},{"key":"CIT0016","doi-asserted-by":"crossref","unstructured":"HILBERT, D. 1923.Mathematische Annalen151\u2013165. Die logischen Grundlagen der Mathematik. v. 88","DOI":"10.1007\/BF01448445"},{"key":"CIT0017","volume-title":"Fecho e imers\u00e3o","author":"HOPPMANN A. G.","year":"1973"},{"key":"CIT0018","unstructured":"KOLMOGOROFF, A. N. 1977.From Frege to G\u00f6delEdited by: HEIJENOORT, J. 414\u2013437. Cambridge: Harvard University Press. On the principle of excluded middle (1925). In: a source book in mathematical logic 1879\u20131931."},{"key":"CIT0019","volume-title":"Symbolic logic. Dover: The Century Company, 2 ed. with corrections","author":"LEWIS C. I.","year":"1932"},{"key":"CIT0020","volume-title":"Many-valued logics.","author":"MALINOWSKI G.","year":"1993"},{"key":"CIT0021","doi-asserted-by":"crossref","unstructured":"PRAWITZ, D. and MALMN\u00c4S, P. E. 1968.Contributions to mathematical logic.Edited by: SCHMIDT, H. 215\u2013229. A survey of some connections between classical, intuitionistic and minimal logic. In: Amsterdam: North-Holland","DOI":"10.1016\/S0049-237X(08)70527-5"},{"key":"CIT0022","volume-title":"Sobre a dualidade entre intuicionismo e paraconsist\u00eanta","author":"QUEIROZ G. S.","year":"1997"},{"key":"CIT0023","volume-title":"An algebraic approach to non-classical logics.","author":"RASIOWA H.","year":"1974"},{"key":"CIT0024","volume-title":"The collected papers of Gerhard Gentzen.","author":"SZABO M. E.","year":"1969"},{"key":"CIT0025","volume-title":"From Frege to G\u00f6del:","author":"VAN HEIJENOORT J.","year":"1967"},{"key":"CIT0026","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6942-2","volume-title":"Theory of logical calculi:","author":"W\u00d3JCICKI R.","year":"1988"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T21:32:13Z","timestamp":1713994333000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1999.10510960"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,1]]},"references-count":25,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["10.1080\/11663081.1999.10510960"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1999.10510960","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"value":"1166-3081","type":"print"},{"value":"1958-5780","type":"electronic"}],"subject":[],"published":{"date-parts":[[1999,1]]}}}