New Dimensions On Translations Between Logics

dc.creatorCarnielli W.A.
dc.creatorConiglio M.E.
dc.creatorD'Ottaviano I.M.L.
dc.date2009
dc.date2015-06-26T13:32:35Z
dc.date2015-11-26T15:28:53Z
dc.date2015-06-26T13:32:35Z
dc.date2015-11-26T15:28:53Z
dc.date.accessioned2018-03-28T22:37:37Z
dc.date.available2018-03-28T22:37:37Z
dc.identifier
dc.identifierLogica Universalis. , v. 3, n. 1, p. 1 - 18, 2009.
dc.identifier16618297
dc.identifier10.1007/s11787-009-0002-5
dc.identifierhttp://www.scopus.com/inward/record.url?eid=2-s2.0-64649093887&partnerID=40&md5=882a71df5eef950583cacd8fae350673
dc.identifierhttp://www.repositorio.unicamp.br/handle/REPOSIP/91583
dc.identifierhttp://repositorio.unicamp.br/jspui/handle/REPOSIP/91583
dc.identifier2-s2.0-64649093887
dc.identifier.urihttp://repositorioslatinoamericanos.uchile.cl/handle/2250/1261717
dc.descriptionAfter 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. © Birkhäuser Verlag Basel/Switzerland 2009.
dc.description3
dc.description1
dc.description1
dc.description18
dc.descriptionBéziau, J.Y., Recherches sur la Logique Universelle Excessivité, Négation, Séquents) (1994), 7. , Ph.D Thesis, ParisBueno-Soler, J., Possible-translations semantic algebraizability (2004), http://libdigi.unicamp.br/document/?code=vtls000337884, in Portuguese. Master Dissertation, IFCH, State University of Campinas Available atBrown, D.J., Suszko, R., Abstract Logics (1973), 102, pp. 9-41. , Dissertationes MathematicaeCarnielli, W.A., Many-valued logic and plausible reasoning (1990) Proceedings of the 20th International Congress on Many-Valued Logics, , In: University of Charlotte, North Carolina, pp. 328-335. IEEE Computer Society, New York
dc.descriptionCarnielli, W.A., Coniglio, M.E., Gabbay, D., Gouveia, P., Sernadas, C., (2008) Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems, 1. , Springer, Dordrecht
dc.descriptionConiglio, M.E., Recovering a logic from its fragments by meta-fibring (2007) Logica Universalis, 1 (2), pp. 377-416. , http://www.cle.unicamp.br/e-prints/vol_5,n_4,2005.html, Preprint available as: The Meta-Fibring environment: Preservation of meta-properties by fibring, CLE e-Prints, vol. 5, n. 4 (2005). Available at
dc.descriptionConiglio, M.E., Carnielli, W.A., Transfers between logics and their applications (2002) Studia Logica, 72 (3), pp. 367-400
dc.descriptionda Silva, J.J., D'Ottaviano, I.M.L., Sette, A.M., Translations between logics (1999) Models, Algebras and Proofs, Lectures Notes in Pure and Applied Mathematics, 203, pp. 435-448. , In: Caicedo, X., Montenegro, C.H.(eds) Marcel Dekker, New York
dc.descriptionD'Ottaviano, I.M.L., (1973) Fechos Caracterizados Por Interpretações (Closures Characterized By Interpretations), , in Portuguese. Master Dissertation, IMECC, State University of Campinas
dc.descriptionD'Ottaviano, I.M.L., Feitosa, H.A., Conservative translations and model- Theoretic translations (1999) Manuscrito - Revista Internacional De Filosofia, 2 (22), pp. 117-132
dc.descriptionD'Ottaviano, I.M.L., Feitosa, H.A., Many-valued logics and translations (1999) J. Appl. Non-Class. Log., 9 (1), pp. 121-140
dc.descriptionD'Ottaviano, I.M.L., Feitosa, H.A., Paraconsistent logics and translations (2000) Synthèse, 125, pp. 77-95. , Dordrecht
dc.descriptionD'Ottaviano, I.M.L., Feitosa, H.A., Translations from Lukasiewicz logics into classical logic: Is it possible? (2006) Essays in Logic and Ontology, Poznan Studies in the Philosophy of the Sciences and the Humanities, 91, pp. 157-168. , In: Malinowski, J., Pietrusczak, A. (eds.)
dc.descriptionD'Ottaviano, I.M.L., Feitosa, H.A., Deductive systems and translations (2007) Perspectives on Universal Logic, pp. 125-157. , In: Béziau, J.-Y., Costa-Leite (Org.), A. (eds.) Polimetrica International Scientific Publisher
dc.descriptionEpstein, R.L., (1990) The Semantic Foundations of Logic, Vol. 1. Propositional Logics, , Kluwer, Dordrecht
dc.descriptionFeitosa, H.A., Conservative translations (1997), in Portuguese. Ph.D Thesis, IFCH, State University of CampinasFeitosa, H.A., D'Ottaviano, I.M.L., Conservative translations (2001) Ann. Pure Appl. Logic, 108 (1-3), pp. 205-227
dc.descriptionFernández, V.L., Fibring of Logis in Leibniz Hierarchy (2005), http://libdigi.unicamp.br/document/?code=vtls000365017, in Portuguese. Ph.D. Thesis, IFCH, State University of Campinas Available atGentzen, G., On the relation between intuitionist and classical arithmetic (1933) (1969) The Collected Papers of Gerhard Gentzen, pp. 53-67. , In: Szabo, M.E.(eds) North-Holland, Amsterdam
dc.descriptionGlivenko, V., Sur quelques points de la logique de M. Brouwer (1929) Bulletins De La Classe De Sciences, 5 (15), pp. 183-188. , Académie Royale de Belgique
dc.descriptionGödel, K., On intuitionistic arithmetic and number theory (1933e) (1986) K. Gödel's Collected Works, 1, pp. 287-295. , In: Feferman, S.(eds) Oxford University Press, Oxford
dc.descriptionGödel, K., An interpretation of the intuitionistic propositional calculus (1933f) (1986) K. Gödel's Collected Works, 1, pp. 301-302. , In:, (eds) Oxford University Press, Oxford
dc.descriptionGoguen, J.A., Burstall, R.M., Introducing institutions (1984) Logics of Programs (Carnegie-Mellon University, June 1983), Lecture Notes in Computer Science, 164, pp. 221-256. , In: Springer, Heidelberg
dc.descriptionGoguen, J.A., Burstall, R.M., Institutions: Abstract model theory for specification and programming (1992) J. ACM, 39 (1), pp. 95-146
dc.descriptionHoppmann, A.G., Closure and Embedding (1973), in Portuguese. Ph.D Thesis, FFCL, São Paulo State University, Rio ClaroHumberstone, L., Béziau's translation paradox (2005) Theoria, 2, pp. 138-181
dc.descriptionHumberstone, L., Logical discrimination (2005) Logica Universalis: Towards a General Theory of Logic, pp. 207-228. , In: Béziau, J.-Y.(eds) Birkhäuser, Basel
dc.descriptionJanssen, T., (2007) Compiler Correctness and the Translation of Logics, , http://www.illc.uva.nl/Publications/ResearchReports/PP-2007-14.text.pdf, ILLC Research Reports and Technical Notes 2007 Report PP-2007-14 Available at
dc.descriptionKolmogorov, A.N., On the principle of excluded middle (1925) (1977) Mathematical Logic 1879-1931, , In: Heijenoort, J.(eds) Harvard University Press, Cambridge
dc.descriptionŁoś, J., Suszko, R., Remarks on sentential logics (1958) Indagationes Mathematicae, 20, pp. 177-183
dc.descriptionMarcos, J., Possible-translations semantics (1999), http://libdigi.unicamp.br/document/?code=vtls000224326, in Portuguese. Master Dissertation, IFCH, State University of Campinas Available atMossakowski, T., Diaconescu, R., Tarlecki, A., What is a logic? (2005) Logica Universalis: Towards a General Theory of Logic, pp. 111-134. , In: Béziau, J.-Y.(eds) Birkhäuser, Basel
dc.descriptionPrawitz, D., Malmnäs, P.E., A survey of some connections between classical, intuitionistic and minimal logic (1968) Contributions to Mathematical Logic, pp. 215-229. , In: Schmidt, H.(eds) North-Holland, Amsterdam
dc.descriptionScheer, M.C., Towards a theory of translations between cumulative logics (2002), http://libdigi.unicamp.br/document/?code=vtls000284889, in Portuguese. Master Dissertation, IFCH, State University of Campinas Available atSzczerba, L., Interpretability of elementary theories (1977) Logic, Foundations of Mathematics and Computability Theory, pp. 129-145. , In: Butts, H., Hintikka, J.(eds) D. Reidel, Dordrecht
dc.descriptionWójcicki, R., (1988) Theory of Logical Calculi: Basic Theory of Consequence Operations, Vol. 199 of Synthese Library, , Kluwer, Dordrecht
dc.languageen
dc.publisher
dc.relationLogica Universalis
dc.rightsfechado
dc.sourceScopus
dc.titleNew Dimensions On Translations Between Logics
dc.typeArtículos de revistas


Este ítem pertenece a la siguiente institución