Search the dblp DataBase

Publications of Author

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