Some super-intuitionistic logics as the logical fragments of equational theories

Bulletin of the Section of Logic, Tom 22, Numer 3 (1993) s. 106-112
Tatsuya Shimura, Nobu-Yuki Suzuki

 

do góry