1. ARRUDA A.I., A survey of paraconsistent logic. In Mathematical Logic in Latin America pp 1–41, eds.A.I.Arruda, R.Chuaqui and N.C.A.Da Costa, North-Holland, Amsterdam, 1980.
2. BAAZ M., Kripke-Type Semantics for Da Costa’s Paraconsistent Logik Cw. Notre Dame Journal of Formal Logic, Vol. 27, 4, 1986.
3. CHANG C.L.,LEE R.C., Symbolic Logic and Mechanical Theory Proofing. New York, 1973.
4. DA COSTA N.C.A., Calculs propositionnels pour les systemes formels inconsistents. Comptes Rendues Academie des Sciences Paris, Vol. 257, 1963.
5. RAGGIO A.R., Propositional sequence-calculi for inconsistent systems. Notre Dame Journal of Formal Logic, Vol. 9, 4, 1968.