Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics. - Itala M. Loffredo D'Ottaviano; Milton Augustinis De Castro (WoLLIC, 2005)

Analytical Tableaux for da Costa's Hierarchy of Paraconsistent Logics Cn, 1>n>w. - Itala M. Loffredo D'Ottaviano; Milton Augustinis De Castro (J. Appl. Non Class. Logics, 2005)