| 2007 |
|---|
| 9 | EE | Itala M. Loffredo D'Ottaviano,
Carlos Hifume:
Peircean Pragmatic Truth and da Costa's Quasi-Truth.
Model-Based Reasoning in Science, Technology, and Medicine 2007: 383-398 |
| 2006 |
|---|
| 8 | EE | Itala M. Loffredo D'Ottaviano,
Milton Augustinis De Castro:
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics.
Electr. Notes Theor. Comput. Sci. 143: 27-44 (2006) |
| 2005 |
|---|
| 7 | | Itala M. Loffredo D'Ottaviano,
Tadeu Fernandes de Carvalho:
Da Costa's Paraconsistent Differential Calculus and a Transference Theorem.
IICAI 2005: 1659-1678 |
| 6 | | Itala M. Loffredo D'Ottaviano,
Milton Augustinis De Castro:
Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1>n>w.
Journal of Applied Non-Classical Logics 15(1): 69-103 (2005) |
| 5 | EE | Walter Alexandre Carnielli,
Marcelo E. Coniglio,
Itala M. Loffredo D'Ottaviano:
An Event on Brazilian Logic: Proceedings of the XIII Brazilian Logic Conference.
Logic Journal of the IGPL 13(1): 1-3 (2005) |
| 2004 |
|---|
| 4 | EE | Walter Alexandre Carnielli,
Marcelo E. Coniglio,
Itala M. Loffredo D'Ottaviano:
Editorial.
Logic Journal of the IGPL 12(6): 431-437 (2004) |
| 2001 |
|---|
| 3 | | Hércules A. Feitosa,
Itala M. Loffredo D'Ottaviano:
Conservative translations.
Ann. Pure Appl. Logic 108(1-3): 205-227 (2001) |
| 1999 |
|---|
| 2 | | Itala M. Loffredo D'Ottaviano,
Hércules A. Feitosa:
Many-valued logics and translations.
Journal of Applied Non-Classical Logics 9(1): (1999) |
| 1997 |
|---|
| 1 | EE | Itala M. Loffredo D'Ottaviano,
Walter Alexandre Carnielli,
Antonio Mario Sette,
Michael B. Wrigley:
XI Brazilian Conference on Mathematical Logic.
Logic Journal of the IGPL 5(3): (1997) |
