1. G. Achtelick, L. Dubikajtis, E. Dudek, and J. Konior. 197+. On the independence of axioms of Jaśkowski's discussive propositional calculus, to appear. In the following bibliography we list papers on paraconsistent logic and related topics. Of course, due to the vastness of the subject (especially the related topics), this bibliography is not intended to be complete. We no not mention, for example, abstracts of published papers, neither many papers on dialectical logic, relevant logics, and non-classical logics in general. The works with an * are not on paraconsistent logic but are mentioned in the text as references for notations, terminology, and axiomatizations of classical logical systems.
2. E. H. Alves. 1976. Lógica e Inconsistěncia: Um Estudo dos Cálculos Cn, 1 ≤ n ≤ω (Master Thesis), preprint by the Institute of Mathematics, Universidade Estadual de Campinas, Campinas, Brazil.
3. On the decidability of a system of dialectical propositional logic, Bulletin of the Section of Logic;Alves;Polish Acad. of Sciences,1978
4. On some higher-order paraconsistent calculi;Alves,1978