TY - JOUR T1 - Paraconsistent extensional propositional logics JF - Logique et Analyse Y1 - 1980 A1 - Batens, Diderik VL - 23 SP - 195–234 ER -