Irene F. Mikenberg

According to our database, Irene F. Mikenberg authored at least 9 papers between 1981 and 2010.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2010

First order theory for literal-paraconsistent and literal-paracomplete matrices.

Renato A. Lewin, Irene F. Mikenberg

Math. Log. Q., 2010

2006

Literal-paraconsistent and literal-paracomplete matrices.

Renato A. Lewin, Irene F. Mikenberg

Math. Log. Q., 2006

2001

On free annotated algebras.

Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze

Ann. Pure Appl. Log., 2001

2000

Algebras and Matrices for Annotated Logics.

Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze

Stud Logica, 2000

1997

On the Algebraizability of Annotated Logics.

Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze

Stud Logica, 1997

1994

P1 algebras.

Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze

Stud Logica, 1994

1991

C₁ Is Not Algebraizable.

Renato A. Lewin, Irene F. Mikenberg, María G. Schwarze

Notre Dame J. Formal Log., 1991

1986

Pragmatic Truth and Approximation to Truth.

Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui

J. Symb. Log., 1986

1981

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