{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:21:46Z","timestamp":1755220906715,"version":"3.43.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,12,1]],"date-time":"2002-12-01T00:00:00Z","timestamp":1038700800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Studia Logica"],"published-print":{"date-parts":[[2002,12]]},"DOI":"10.1023\/a:1021845424153","type":"journal-article","created":{"date-parts":[[2003,3,21]],"date-time":"2003-03-21T18:56:02Z","timestamp":1048272962000},"page":"367-400","source":"Crossref","is-referenced-by-count":6,"title":["Transfers between Logics and their Applications"],"prefix":"10.1007","volume":"72","author":[{"given":"M.E.","family":"Coniglio","sequence":"first","affiliation":[]},{"given":"W.A.","family":"Carnielli","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5115122_CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., P. G\u00e4rdenfors, D. Makinson, 'On the logic of theory change: Partial meet contraction and revision functions', The Journal of Symbolic Logic 50 (1985), 510-530.","journal-title":"The Journal of Symbolic Logic"},{"key":"5115122_CR2","series-title":"Logic and Computation Series","first-page":"49","volume-title":"Frontiers of Paraconsistent Logic (Proceedings of the I World Congress on Paraconsistency)","author":"D. Batens","year":"2000","unstructured":"Batens, D., 'A survey of inconsistency-adaptive logics', pp. 49-73 in Frontiers of Paraconsistent Logic (Proceedings of the I World Congress on Paraconsistency), D. Batens, C. Mortensen, G. Priest and J. P. Van Bendegem (eds.), Baldock: Research Studies Press, King's College Publications, Logic and Computation Series, 2000."},{"key":"5115122_CR3","first-page":"29","volume":"33","author":"D. Batens","year":"1999","unstructured":"Batens, D., K. De Clercq, N. Kurtonina, 'Embedding and interpolation for some paralogics. The propositional case', Reports on Mathematical logic 33 (1999), 29-44.","journal-title":"Reports on Mathematical logic"},{"key":"5115122_CR4","unstructured":"Bell, J. L., A. B. Slomson, Models and Ultraproducts: an introduction, North Holland, 1971."},{"key":"5115122_CR5","unstructured":"B\u00e9ziau, J. Y., Recherches sur la Logique Universelle (Excessivit\u00e9, N\u00e9gation, S\u00e9quents), Ph.D. Thesis, Paris 7, 1994."},{"key":"5115122_CR6","first-page":"9","volume":"102","author":"D. J. Brown","year":"1973","unstructured":"Brown, D. J., R. Suszko, 'Abstract Logics', Dissertationes Mathematicae 102 (1973), 9-41.","journal-title":"Dissertationes Mathematicae"},{"key":"5115122_CR7","first-page":"35","volume":"21","author":"W. A. Carnielli","year":"1987","unstructured":"Carnielli, W. A., 'Methods of proof for relatedness and dependence logic', Reports on Mathematical Logic 21 (1987), 35-46.","journal-title":"Reports on Mathematical Logic"},{"key":"5115122_CR8","series-title":"Logic and Computation Series","first-page":"159","volume-title":"Frontiers of Paraconsistent Logic (Proceedings of the I World Congress on Paraconsistency)","author":"W. A. Carnielli","year":"2000","unstructured":"Carnielli, W. A., 'Possible-translations semantics for paraconsistent logics', pp. 159-172 in Frontiers of Paraconsistent Logic (Proceedings of the I World Congress on Paraconsistency), D. Batens, C. Mortensen, G. Priest and J. P. Van Bendegem (eds.), Baldock: Research Studies Press, King's College Publications, Logic and Computation Series, 2000."},{"key":"5115122_CR9","first-page":"69","volume":"2","author":"W. A. Carnielli","year":"1999","unstructured":"Carnielli, W. A., M. E. Coniglio, 'A categorial approach to the combination of logics', Manuscrito 22, vol. 2 (1999), 69-94.","journal-title":"Manuscrito"},{"key":"5115122_CR10","first-page":"67","volume":"157","author":"W. A. Carnielli","year":"1997","unstructured":"Carnielli, W. A., I. M. L D'Ottaviano, 'Translations between logical systems: a manifesto', Logique et Analyse 157 (1997), 67-81.","journal-title":"Logique et Analyse"},{"key":"5115122_CR11","doi-asserted-by":"crossref","unstructured":"Carnielli, W. A., M. Lima-Marques, 'Society semantics for multiple-valued logics', pp. 33-52 in Advances in Contemporary Logic and Computer Science (Proceedings of the XII EBL), W. A. Carnielli and I. M. L. D'Ottaviano (eds.), American Mathematical Society, Series Contemporary Mathematics, Volume 235, 1999.","DOI":"10.1090\/conm\/235\/03464"},{"key":"5115122_CR12","doi-asserted-by":"crossref","first-page":"115","DOI":"10.12775\/LLP.2000.008","volume":"8","author":"W. A. Carnielli","year":"2001","unstructured":"Carnielli, W. A., J. Marcos, S. de Amo, 'Formal inconsistency and evolutionary databases', Logic and Logical Philosophy 8 (2001), 115-152. (Proceedings of the Stanis\u0142aw Ja\u015bkowski's Memorial Symposium, Toru\u0144 1998.)","journal-title":"Logic and Logical Philosophy"},{"key":"5115122_CR13","unstructured":"Chang, C. C., H. J. Keisler, Model Theory, North Holland, 1990."},{"key":"5115122_CR14","unstructured":"Coniglio, M. E., W. A. Carnielli, 'A model theoretic approach to translations between logics', pp. 55-65 in Proceedings of 7th Workshop on Logic, Language, Information and Computation (WoLLIC 2000), Natal, 2000."},{"key":"5115122_CR15","unstructured":"Coniglio, M. E., W. A. Carnielli, 'Holoi and mesoi', forthcoming."},{"key":"5115122_CR16","unstructured":"da Silva, J. J., I. M. L. D'Ottaviano, A. M. Sette, 'Translations between logics', pp. 435-448 in Models, Algebras and Proofs, X. Caicedo and C. H. Montenegro (eds.), Marcel Dekker, 1999."},{"key":"5115122_CR17","first-page":"1349","volume":"270","author":"I. M. L. D'Ottaviano","year":"1970","unstructured":"D'Ottaviano, I. M. L., N. C. A. da Costa, 'Sur un probl\u00e9me de Ja\u015bkowski', Comptes Rendus de l'Acad\u00e9mie de Sciences de Paris (A-B) 270 (1970), 1349-1353.","journal-title":"Comptes Rendus de l'Acad\u00e9mie de Sciences de Paris"},{"key":"5115122_CR18","unstructured":"Epstein, R. L., Propositional Logics: The Semantics Foundations of Logic, Wadsworth Thompson Learning, 2nd. edition, 2000."},{"key":"5115122_CR19","volume-title":"Tradu\u00e7\u00f5es Conservativas (Conservative Translations; in Portuguese)","author":"H. Feitosa","year":"1997","unstructured":"Feitosa, H., Tradu\u00e7\u00f5es Conservativas (Conservative Translations; in Portuguese), Ph.D. Thesis, State University of Campinas, Brazil, 1997."},{"key":"5115122_CR20","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.2307\/2275807","volume":"4","author":"D. Gabbay","year":"1996","unstructured":"Gabbay, D., 'Fibred semantics and the weaving of logics: Part I', The Journal of Symbolic Logic 61, vol. 4 (1996), 1057-1120.","journal-title":"The Journal of Symbolic Logic"},{"key":"5115122_CR21","unstructured":"Gabbay, D., O. Rodrigues, A. Russo, 'Revision by translation', pp. 3-32 in Information, Uncertainty and Fusion, Proceedings of IPMU 98, Bernadette Bouchon-Meunier, Roland R. Yager and Lotfi A. Zadeh (eds.), Kluwer Academic Publishers, 2000."},{"key":"5115122_CR22","unstructured":"G\u00e4rdenfors, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, The MIT Press, 1988."},{"key":"5115122_CR23","unstructured":"Restall, G., J. Slaney, 'Realistic belief revision', pp. 367-378 in WOCFAI 95, Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, M. de Glas and Z. Pawlak (eds.), Angkor, 1995."},{"key":"5115122_CR24","unstructured":"Sch\u00fctte, K., Proof Theory, Springer-Verlag, 1977. (Translated from German original version, from 1960.)"},{"key":"5115122_CR25","unstructured":"Wassermann, R., Resource Bounded Belief Revision, Ph.D. Thesis, University of Amsterdam, ILLC Dissertation Series 2000-01, 1999."},{"key":"5115122_CR26","doi-asserted-by":"crossref","unstructured":"W\u00f3jcicki, R., Theory of Logical Calculi, Synthese Library, Kluwer Academic Publishers, 1988.","DOI":"10.1007\/978-94-015-6942-2"},{"key":"5115122_CR27","doi-asserted-by":"crossref","first-page":"414","DOI":"10.2307\/2694931","volume":"1","author":"A. Zanardo","year":"2001","unstructured":"Zanardo, A., A. Sernadas, C. Sernadas, 'Fibring: Completeness preservation', The Journal of Symbolic Logic 66, vol. 1 (2001), 414-439.","journal-title":"The Journal of Symbolic Logic"}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021845424153.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1021845424153\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1021845424153.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:23:39Z","timestamp":1754630619000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1021845424153"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,12]]},"references-count":27,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2002,12]]}},"alternative-id":["5115122"],"URL":"https:\/\/doi.org\/10.1023\/a:1021845424153","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2002,12]]}}}