Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. - Ayda I. Arruda; Rolando Chuaqui; Newton C. A. da Costa; Irene F. Mikenberg (J. Symb. Log., 1981)

Pragmatic Truth and Approximation to Truth. - Irene F. Mikenberg; Newton C. A. da Costa; Rolando Chuaqui (J. Symb. Log., 1986)

C1 Is Not Algebraizable. - Renato A. Lewin; Irene F. Mikenberg; María G. Schwarze (Notre Dame J. Formal Log., 1991)

P1 algebras. - Renato A. Lewin; Irene F. Mikenberg; María G. Schwarze (Stud Logica, 1994)

On the Algebraizability of Annotated Logics. - Renato A. Lewin; Irene F. Mikenberg; María G. Schwarze (Stud Logica, 1997)

Algebras and Matrices for Annotated Logics. - Renato A. Lewin; Irene F. Mikenberg; María G. Schwarze (Stud Logica, 2000)

On free annotated algebras. - Renato A. Lewin; Irene F. Mikenberg; María G. Schwarze (Ann. Pure Appl. Log., 2001)

Literal-paraconsistent and literal-paracomplete matrices. - Renato A. Lewin; Irene F. Mikenberg (Math. Log. Q., 2006)

First order theory for literal-paraconsistent and literal-paracomplete matrices. - Renato A. Lewin; Irene F. Mikenberg (Math. Log. Q., 2010)