Renato Alfredo Lewin Riquelme de la Barrera

Ph. D. en Matemáticas, Univesity of Colorado-boulder, USA, 1985..
Profesor Titular. Departamento de Matemática.
Oficina 210.
Teléfono 23544531.
rlewin@mat.puc.cl
http://www.mat.puc.cl/~rlewin

Publicaciones

Castiglioni, José Luis; Lewin, Renato A.; Sagastume, Marta, On a definition of a variety of monadic ℓ-groups, tudia Logica. An International Journal for Symbolic Logic , vol.102: 67-92,2014.

Lewin R., Mikenberg I., First order theory for literal-paraconsistent and literal-paracomplete matrices, Mathematical Logic Quarterly, vol.56(1134):425-433,2010.

Hirsh, E. and Lewin, R., Algebraization of logics defined by literal-paraconsistent or literal-paracomplete matrices, Mathematical Logic Quarterly, vol.54(981):153-166,2008.

Lewin, R. and Mikenberg, I., Literal-paraconsistent and literal-paracomplete matrices, Mathematical Logic Quarterly, vol.52(813):478 - 493,2006.

Lewin, R. and Sagastume, M. and Massey, P., Chang's L* logic, Logic Journal of the IGPL, vol.12(677):485-497,2004.

Galli, A and Lewin, R. and Sagastume, M, The logic of equilibrium and abelian lattice ordered groups, Archive for Mathematical Logic, vol.43(696):141-158,2004.

Lewin, R. and Sagastume, M. and Massey, P., MV*-algebras, Logic Journal of the IGPL, vol.12(678):461-483,2004.

Cartagena, O. and Lewin, R. and Rubilar, O, Topologically inseparable functions I: finitary case, Semigroup Forum, vol.66(647):18-42,2003.

Lewin, R., Topologically inseparable functions II: infinitary case, Semigroup Forum, vol.66(619):43-62,2003.

Lewin, R. and Sagastume, MS., Paraconsistency in chang's logic with positive and negative truth values, Paraconsistency (Sao Sebastiao, 2000), vol.228(556):381-396,2002.

Bowers, S. E. and Lewin, R. and Pigozzi, D., An annotated logic defined by a matrix, Unsolved problems on mathematics for the 21st century(527):261-288,2001.

Lewin, R. and Mikenberg, I. and Schwarze, M.G., On free annotated algebras, Proceedings of the XIth Latin American Symposium on Mathematical Logic (Merida, 1998), vol.108(507):249-259,2001.

Lewin, R. and Mikenberg, I. and Schwarze, M., Algebras and matrices for annotated logics, Studia Logica, vol.65(463):137-153,2000.

Lewin, R., Interpretability into lukasiewicz algebras, Revista de la Unión Matemática Argentina, vol.41(421):81-98,1999.

Lewin, R. and Mikenberg, I. and Schwarze, M.G., Matrix semantics for annotated logics, Models, algebras, and proofs (Bogota, 1995), vol.203(420):279-293,1999.

Lewin, R., Algebraization of deductive systems: the blok-pigozzi theory, Proceedings of the Fifth Dr. Antonio A. R. Monteiro Congress on Mathematics (Bahia Blanca, 1999)(422):163-178,1999.

Lewin, R. and Mikenberg, I. and Schwarze, M.G., On the algebraizability of annotated logics, Studia Logica, vol.59(331):359-386,1997.

Lewin, R. and Mikenberg, I. and Schwarze, M.G., P1 algebras, Studia Logica, vol.53(231):21-28,1994.

Cartagena, O. and González, C. and Lewin, R. and Rubilar, O., Interpretations into p-algebras, Proceedings of the American Mathematical Society, vol.112(162):339-342,1991.

Lewin, R. and Mikenberg, I. and Schwarze, M.G., C1 is not algebraizable, Notre Dame Journal Formal Logic, vol.32(151):609-611,1991.

Lewin, R. and Mikenberg, I. and Schwarze, M.G., Algebraization of paraconsistent logic $ m Psp 1$, The Journal on Non-Classical Logic, vol.7(123):79-88,1990.

Lewin, R., Involutions defined by monadic terms, Studia Logica, vol.47(112):387-389,1989.

Lewin, R., Interpretations into monadic algebras, Studia Logica, vol.46(88):329-342,1987.

Lewin, R., Interpretations into heyting algebras, Algebra Universalis, vol.24(89):149-166,1987.