Deductive systems and congruence relation in ortholattices

Bulletin of the Section of Logic, Tom 7, Numer 2 (1978) s. 87
Roberto Cignoli

 

do góry