On the equivalence between some systems of non-classical logic

Bulletin of the Section of Logic, Tom 25, Numer 2 (1996) s. 68-72
Antonio M. Sette, Elias H. Alves

 

do góry