Logo UC

Pontificia Universidad Católica de Chile 
Facultad de Matemáticas
Departamento de Matemática

Renato Lewin Riquelme de la Barrera

Profesor de la Facultad de Matemáticas de la Pontificia Universidad Católica de Chile
Dirección Electrónica : rlewin@mat.puc.cl
Dirección Postal : Casilla 306, Correo 22, Santiago,CHILE.
Dirección Facultad: Av. Vicuña Mackenna 4860, Facultad de Matemáticas
Teléfono : (562) 686- 4531
Fax : (562) 552-5916

Foto:

 

Curriculum Vitae:

Publicaciones:
 

Artículos en Revistas con Comité Editorial.

    1. Interpretations into Heyting Algebras, Algebra Universalis 24 (1987), 149-166.
    2. Interpretations into Monadic Algebras, Studia Logica 46 (1987), 329-342.
    3. Involutions Defined by Monadic Terms, Studia Logica 47  (1988), 387-389.
    4.   (con Mikenberg, I. y Schwarze, M.G.),  Algebraization of Paraconsistent Logic P1, Journal of Non- Classical Logic 7, 1-2 (1990), 79--88.
    5.   (con Cartagena, O. , González, C., Rubilar, O.), Interpretations into p-Algebras, Proceedings of the A.M.S. 112 (1991), 339-342.
    6.   (con Mikenberg, I. y Schwarze, M.G.),  C1 is not algebraizable, Notre Dame Journal of Formal Logic 32 (1991), 609-611.
    7.   (con Mikenberg, I. y Schwarze, M.G.),  P1 algebras, Studia Logica 53, 1 (1994), 21-28.  [ps] - [pdf]
    8.   (con Mikenberg, I. y Schwarze, M.G.), On the algebraization of annotated logics, Studia Logica 59, 3  (1997), 359-386. [ps] - [pdf]
    9.   (con Mikenberg, I. y Schwarze, M.G.), Matrix Semantics for Annotated Logics. In Models, Algebras, and Proofs. (X. Caicedo  y  C. Montenegro, eds.) Lecture Notes in Pure and Applied Mathematics 203, (1999), 279--293. [ps] - [pdf]
    10. Interpretations into Lukasiewicz Algebras, Revista de la Unión Matematica Argentina 59  (1999), 81-98. [ps] - [pdf]
    11. (con Mikenberg, I. y Schwarze, M.G.), On Free Annotated Algebras. Annals of Pure and Applied Logic 108 (2001), 249 - 260. [ps] -[pdf]
    12.   (con Mikenberg, I. y Schwarze, M.G.), Algebras and Matrices for Annotated Logics, Studia Logica  65 (2000), 137 - 153. [ps] - [pdf]
    13. (con Bowers, S. E. y Pigozzi, D.), An Annotated Logic Defined by a matrix. En Unsolved Problems in Mathematics for the 21st Century. Atribute to Kiyoshi Iseki's 80th Birthday. (J. M. Abe y S. Tanaka, Eds.), IOS Press, 2001, 261 - 288. [ps] - [pdf]
    14. (con M. Sagastume), Paraconsistency in Chang's Logic with Positive and Negative Truth Values. En Paraconsistency: the Logical Way to the Inconsistent, Marcel Dekker Inc., 2002, 381 - 396. [ps] - [pdf]
    15. (con O. Cartagena y O. Rubilar), Topologically inseparable functions I: Finitary Case, Semigroup Forum 66 (2003), 18 - 42. [ps] - [pdf]
    16. Topologically inseparable functions II: Infinitary Case,Semigroup Forum 66 (2003), 43--62. [ps] - [pdf]
    17. (con A. Galli y M. Sagastume), The Logic of Equilibrium and Abelian Lattice Ordered Groups, Aceptado Archive for Mathematical Logic. [ps] - [pdf]
    18. (con M. Sagastume y P. Massey),  MV*-algebras. IGPL Journal of Logic 12 (2004), 461- 483. [pdf]
    19.  (con M. Sagastume y P. Massey, Chang’s  L- Logic. IGPL Journal of Logic 12 (2004), 485 - 497. [pdf]
    20.  (con I. Mikenberg) Literal–Paraconsistent and Literal–Paracomplete Matrices, Mathematical Logic Quarterly 52 (2006), 478 - 493. [pdf]
    21. (con E. Hirsh) Algebraization of Logics Defined by Literal–Paraconsistent and Literal– Paracomplete Matrices, Mathematical Logic Quarterly 54 (2008), 153 - 166. [pdf]

 


 

Otras Publicaciones Científicas

    1.  Algebrización de sistemas deductivos. La Teoría de Blok-Pigozzi. Actas del V Congreso de Matemática "Dr. Antonio Monteiro". Bahía Blanca, Argentina, 1999, 163--178. [pdf]
    2. (con da Costa, N.C.A.) Lógica Paraconsistente. Enciclopedia Iberoamericana de Filosofía, Volumen 1 "Lógica". Consejo Superior de Investigaciones Científicas, Instituto de Filosofía, Madrid, 1995.
    3.   (con Marshall, M. V.) Isomorphism of Structures and Typified Languages . Preprint, Pontificia Universidad Católica de Chile,  1992.
    4. Interpretations into Varieties of Algebraic Logic, Tesis Doctoral, University of Colorado-Boulder, 1985.

 

Publicaciones Docentes

  1. ALGEBRA,   105 págs.
  2. NOTAS DE LOGICA.  [pdf],  67 págs. 
  3. TEORIA DE CONJUNTOS  [pdf] , 110 págs.
  4. INTRODUCCION A LA LOGICA ALGEBRAICA [pdf],  51 pags. Notas del curso dictado en la Universidad Nacional de Colombia en diciembre de 2003. Ellas son una versión corregida de cursos similares dictados en la Universidad Nacional de La Plata, República Argentina, en 1999 y en las XIV Jornadas de Matemática de la Zona Sur, Lican Ray, Chile, en 2000.
  5. ESTRUCTURAS ORDENADAS--ORDENES Y RETICULOS  [pdf]. Notas del cursillo dictado en la Primera Escuela de Postgrado de Invierno, Facultad de Matemáticas P.U.C. 1998, 20 págs.

[Volver a la Página Inicial ]