Irene F. Mikenberg

Publication Activity (10 Years)

Years Active: 1981-2010
Publications (10 Years): 0

Publications

Renato A. Lewin, Irene F. Mikenberg
First order theory for literal-paraconsistent and literal-paracomplete matrices. Math. Log. Q. 56 (4) (2010)
Renato A. Lewin, Irene F. Mikenberg
Literal-paraconsistent and literal-paracomplete matrices. Math. Log. Q. 52 (5) (2006)
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze
On free annotated algebras. Ann. Pure Appl. Log. 108 (1-3) (2001)
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze
Algebras and Matrices for Annotated Logics. Stud Logica 65 (1) (2000)
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze
On the Algebraizability of Annotated Logics. Stud Logica 59 (3) (1997)
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze
P1 algebras. Stud Logica 53 (1) (1994)
Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze
Is Not Algebraizable. Notre Dame J. Formal Log. 32 (4) (1991)
Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui
Pragmatic Truth and Approximation to Truth. J. Symb. Log. 51 (1) (1986)
Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa, Irene F. Mikenberg
Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. J. Symb. Log. 46 (1) (1981)