Artículos de revistas
Many-valued Logics And Translations
Registro en:
Journal Of Applied Non-classical Logics. , v. 9, n. 1, p. 121 - 140, 1999.
11663081
10.1080/11663081.1999.10510960
2-s2.0-0347701725
Autor
D'Ottaviano I.M.L.
Feitosa H.D.A.
Institución
Resumen
This work presents the concepts of translation and conservative translation between logics. By using algebraic semantics we introduce several conservative translations involving the classical propositional calculus and the many-valued calculi of Post and Lukasiewicz. 9 1 121 140 Boicescu, V., Filipoiu, A., Georgescu, G., Rudeanu, S., (1991) Lukasiewicz-Moisil algebras, 49. , Amsterdam: North-Holland. (Annals of Discrete Mathematics Bolc, L., Borowik, P., (1992) Many-valued Logics: 1 Theoretical Foundations, , Berlin: Springer-Verlag Carnielli, W.A., D'ottaviano, I.M.L., Translations between Logics a Manifesto, , (199-), Submitted for publication Cignoli, R., Some algebraic aspects of many-valued-logics (1980) Proceedings of the Third Brazilian Conference on Mathematical Logic, pp. 49-69. , In: ARRUDA, A.l., DACOSTA, N.C.A., SETTE, A.M. (Eds.), São Paulo: Sociedade Brasileira de Lógica Cignoli, R.L.O., D'ottaviano, I.M.L., Mundici, D., (1994) Álgebras Das lógicas De Lukasiewicz, 12. , Campinas: UNICAMP/CLE. Coleção CLE Dasilva, J.J., D'ottaviano, I.M.L., Sette, A.M., Translations between logics Forthcoming in the Proceedings of the "X Latin American Symposium on Mathematical Logic", , 199- D'ottaviano, I.M.L., (1973) Fechos Caracterizados Por Interpretações, , (Closures characterised by interpretations). Campinas: Universidade Estadual de Campinas. (Master Dissertation) Epstein, R.L., The semantic foundations of logic (1990) Proposicional logics, 1. , Dordrecht: Kluwer Academic Publishers Feitosa, H.A., (1997) Traduçóes conservativas, , (Conservative translations). Campinas: Universidade Estadual de Campinas. (Doctoral Thesis) Feitosa, H.A., D'ottaviano, I.M.L., Conservative Translations, , (199-), Submitted for publication Gentzen, G., On the relation between intuitionistic and classical arithmetic (1969) The Collected Papers of Gerhard Gentzen, pp. 53-67. , In: SZABO, M.E. (Ed.), Amsterdam: North-Holland Glivenko, V., Sur quelques points de Ia logique de M. Brouwer (1929) Académie Royale De Belgique. Bulletins De La Classe De Sciences, 15, pp. 183-188. , Série 5 Gödel, K., On intuitionistic arithmetic and number theory (1933a) (1986) Collected Works, pp. 287-295. , In: FEFERMAN, S. et alii (Ed.), Oxford : Oxford University An interpretation of the intuitionistic proposicional calculus (1933b) (1986) Collected Works, pp. 301-303. , FEFERMAN, S. et alii (Ed.), Oxford University Press Heyting, A., Die formalen Regeln der intuitionistschen Logik Sitzungsberichte der Preussischen (Berlin) Akademie der Wissenschaften (1930) Phys. Math, K1, pp. 42-56 Hilbert, D., Die logischen Grundlagen der Mathematik (1923) Mathematische Annalen, 88, pp. 151-165 Hoppmann, A.G., (1973) Fecho E Imersão, , (Closure and embedding). Rio Claro: Universidade Estadual Paulista. (Doctoral Thesis) Kolmogoroff, A.N., On the principle of excluded middle (1925) (1977) From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931, pp. 414-437. , Cambridge: Harvard University Press Lewis, C.I., Langford, C.H., Symbolic logic (1932) Dover: The Century Company, , 2 ed. with corrections, 1959 Malinowski, G., (1993) Many-valued Logics, , Oxford: Clarendon Press Prawitz, D., Malmnas, P.E., A survey of some connections between classical, intuitionistic and minimal logic (1968) Contributions to Mathematical Logic, pp. 215-229. , In: SCHMIDT, H. et alii (Ed.), Amsterdam: North-Holland Queiroz, G.S., (1997) Sobre A Dualidade Entre Intuicionismo E Paraconsistência, , (On the duality between intuitionism and paraconsistency). Campinas : Universidade Estadual de Campinas. (Doctoral Thesis) Rasiowa, H., (1974) An Algebraic Approach to Non-classical Logics, , Amsterdam: North-Holland Szabo, M.E., (1969) The Collected Papers of Gerhard Gentzen, , (Ed.), Amsterdam: North Holland. Publ. Co. (Studies in Logic and the Foundations of Mathematics) Van Heijenoort, J., (1967) From Frege to Gödel: A Source Book in Mathematical Logic, 1879-1931, , Harvard: Harvard University Press Wójcicki, R., Theory of logical calculi: Basic theory of consequence operations (1988) Synthese Library, 199. , Kluwer