Skip to main content
SpringerLink
Log in

New Dimensions on Translations Between Logics

  • Published:
Logica Universalis Aims and scope Submit manuscript

Abstract

After a brief promenade on the several notions of translations that appear in the literature, we concentrate on three paradigms of translations between logics: (conservative) translations, transfers and contextual translations. Though independent, such approaches are here compared and assessed against questions about the meaning of a translation and about comparative strength and extensibility of a logic with respect to another.

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. Béziau, J. Y.: Recherches sur la Logique Universelle Excessivité, Négation, Séquents). Ph.D Thesis, Paris 7 (1994)

  2. Bueno-Soler, J.: Semântica algébrica de traduções possíveis (Possible- translations semantic algebraizability), in Portuguese. Master Dissertation, IFCH, State University of Campinas (2004). Available at http://libdigi.unicamp.br/document/?code=vtls000337884

  3. Brown D.J., Suszko R.: Abstract Logics. Dissertationes Mathematicae 102, 9–41 (1973)

    MathSciNet  Google Scholar 

  4. Carnielli, W.A.: Many-valued logic and plausible reasoning. In: Proceedings of the 20th International Congress on Many-Valued Logics. University of Charlotte, North Carolina, pp. 328–335. IEEE Computer Society, New York (1990)

  5. Carnielli, W.A., Coniglio, M.E., Gabbay, D., Gouveia, P., Sernadas, C.: Analysis and synthesis of logics. How to cut and paste reasoning systems, vol. 1. Springer, Dordrecht (2008)

  6. Coniglio, M.E.: Recovering a logic from its fragments by meta-fibring. Logica Universalis 1(2):377–416, (2007) Preprint available as: The Meta-Fibring environment: Preservation of meta-properties by fibring, CLE e-Prints, vol. 5, n. 4 (2005). Available at http://www.cle.unicamp.br/e-prints/vol_5,n_4,2005.html

  7. Coniglio M.E., Carnielli W.A.: Transfers between logics and their applications. Studia Logica 72(3), 367–400 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  8. da Silva J.J., D’Ottaviano I.M.L., Sette A.M.: Translations between logics. In: Caicedo, X., Montenegro, C.H.(eds) Models, Algebras and Proofs, Lectures Notes in Pure and Applied Mathematics, vol. 203, pp. 435–448. Marcel Dekker, New York (1999)

    Google Scholar 

  9. D’Ottaviano, I.M.L.: Fechos caracterizados por interpretações (Closures characterized by interpretations), in Portuguese. Master Dissertation, IMECC, State University of Campinas (1973)

  10. D’Ottaviano I.M.L., Feitosa H.A.: Conservative translations and model- theoretic translations. Manuscrito—Revista Internacional de Filosofia 2(XXII), 117–132 (1999a)

    Google Scholar 

  11. D’Ottaviano I.M.L., Feitosa H.A.: Many-valued logics and translations. J. Appl. Non-Class. Log. 9(1), 121–140 (1999b)

    MATH  MathSciNet  Google Scholar 

  12. D’Ottaviano, I.M.L., Feitosa, H.A.: Paraconsistent logics and translations, Synthèse, vol. 125, pp 77–95. Dordrecht (2000)

  13. D’Ottaviano, I.M.L., Feitosa, H.A.: Translations from Lukasiewicz logics into classical logic: is it possible? In: Malinowski, J., Pietrusczak, A. (eds.) Essays in logic and ontology, Poznan studies in the philosophy of the sciences and the humanities, vol. 91, pp 157–168 (2006)

  14. D’Ottaviano, I.M.L., Feitosa, H.A.: Deductive systems and translations. In: Béziau, J.-Y., Costa-Leite (Org.), A. (eds.), Perspectives on universal logic, pp 125–157. Polimetrica International Scientific Publisher (2007)

  15. Epstein R.L.: The Semantic Foundations of Logic, vol. 1. Propositional Logics. Kluwer, Dordrecht (1990)

    Google Scholar 

  16. Feitosa, H.A.: Traduções conservativas (Conservative translations), in Portuguese. Ph.D Thesis, IFCH, State University of Campinas (1997)

  17. Feitosa H.A., D’Ottaviano I.M.L.: Conservative translations. Ann. Pure Appl. Logic 108(1–3), 205–227 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  18. Fernández, V.L.: Fibrilação de lógicas na hierarquia de Leibniz (Fibring of Logis in Leibniz Hierarchy), in Portuguese. Ph.D. Thesis, IFCH, State University of Campinas (2005). Available at http://libdigi.unicamp.br/document/?code=vtls000365017

  19. Gentzen G.: On the relation between intuitionist and classical arithmetic (1933). In: Szabo, M.E.(eds) The Collected Papers of Gerhard Gentzen, pp. 53–67. North-Holland, Amsterdam (1969)

    Google Scholar 

  20. Glivenko V.: Sur quelques points de la logique de M. Brouwer. Académie Royale de Belgique. Bulletins de la Classe de Sciences 5(15), 183–188 (1929)

    Google Scholar 

  21. Gödel K. et al.: On intuitionistic arithmetic and number theory (1933e). In: Feferman, S.(eds) K. Gödel’s Collected Works, vol. 1, pp. 287–295. Oxford University Press, Oxford (1986)

    Google Scholar 

  22. Gödel K. et al.: An interpretation of the intuitionistic propositional calculus (1933f). In: , (eds) K. Gödel’s Collected Works, vol. 1, pp. 301–302. Oxford University Press, Oxford (1986)

    Google Scholar 

  23. Goguen, J.A., Burstall, R.M.: Introducing institutions. In: Logics of Programs (Carnegie-Mellon University, June 1983), Lecture Notes in Computer Science, vol. 164, pp. 221–256. Springer, Heidelberg (1984)

  24. Goguen J.A., Burstall R.M.: Institutions: abstract model theory for specification and programming. J. ACM 39(1), 95–146 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  25. Hoppmann, A.G.: Fecho e imersão (Closure and Embedding), in Portuguese. Ph.D Thesis, FFCL, São Paulo State University, Rio Claro (1973)

  26. Humberstone L.: Béziau’s translation paradox. Theoria 2, 138–181 (2005)

    MathSciNet  Google Scholar 

  27. Humberstone L.: Logical discrimination. In: Béziau, J.-Y.(eds) Logica Universalis: Towards a General Theory of Logic, pp. 207–228. Birkhäuser, Basel (2005)

    Google Scholar 

  28. Janssen, T.: Compiler correctness and the translation of logics. ILLC Research Reports and Technical Notes 2007, Report PP-2007-14, 2007. Available at http://www.illc.uva.nl/Publications/ResearchReports/PP-2007-14.text.pdf

  29. Kolmogorov A.N.: On the principle of excluded middle (1925). In: Heijenoort, J.(eds) From Frege to Gödel: a Source Book, pp. 414–437. In: Mathematical Logic 1879–1931. Harvard University Press, Cambridge (1977)

    Google Scholar 

  30. Łoś J., Suszko R.: Remarks on sentential logics. Indagationes Mathematicae 20, 177–183 (1958)

    Google Scholar 

  31. Marcos, J.: Semânticas de traduções possíveis (Possible-translations semantics), in Portuguese. Master Dissertation, IFCH, State University of Campinas, 1999. Available at http://libdigi.unicamp.br/document/?code=vtls000224326

  32. Mossakowski T., Diaconescu R., Tarlecki A.: What is a logic?. In: Béziau, J.-Y.(eds) Logica Universalis: Towards a General Theory of Logic, pp. 111–134. Birkhäuser, Basel (2005)

    Google Scholar 

  33. Prawitz D., Malmnäs P.E. et al.: A survey of some connections between classical, intuitionistic and minimal logic. In: Schmidt, H.(eds) Contributions to Mathematical Logic, pp. 215–229. North-Holland, Amsterdam (1968)

    Chapter  Google Scholar 

  34. Scheer, M.C.: Para uma teoria de traduções entre lógicas cumulativas (Towards a theory of translations between cumulative logics), in Portuguese. Master Dissertation, IFCH, State University of Campinas, 2002. Available at http://libdigi.unicamp.br/document/?code=vtls000284889

  35. Szczerba L.: Interpretability of elementary theories. In: Butts, H., Hintikka, J.(eds) Logic, Foundations of Mathematics and Computability Theory, pp. 129–145. D. Reidel, Dordrecht (1977)

    Google Scholar 

  36. Wójcicki R.: Theory of Logical Calculi: Basic Theory of Consequence Operations, vol. 199 of Synthese Library. Kluwer, Dordrecht (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Philosophy, IFCH and Centre for Logic, Epistemology and The History of Science (CLE), State University of Campinas (UNICAMP), Campinas, SP, Brazil

    Walter A. Carnielli, Marcelo E. Coniglio & Itala M. L. D’Ottaviano

Authors
  1. Walter A. Carnielli
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marcelo E. Coniglio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Itala M. L. D’Ottaviano
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Walter A. Carnielli.

Additional information

Dedicated to the memory of Mário Tourasse Teixeira and Antonio Mário Sette

Rights and permissions

Reprints and permissions

About this article

Cite this article

Carnielli, W.A., Coniglio, M.E. & D’Ottaviano, I.M.L. New Dimensions on Translations Between Logics. Log. Univers. 3, 1–18 (2009). https://doi.org/10.1007/s11787-009-0002-5

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11787-009-0002-5

Keywords

Mathematics Subject Classification (2000)

Search

Navigation