Wyniki
-
On the decidability of a system of dialectical propositional logic
Elias H. Alves
Bulletin of the Section of Logic , 7 /4 (1978) s. 179-184 -
The first axiomatization of a paraconsistent logic
Elias H. Alves
Bulletin of the Section of Logic , 21 /1 (1992) s. 19-20