On {<->,~}-reduct of the intuitionistic consequence operation

Bulletin of the Section of Logic, Tom 8, Numer 3 (1979) s. 161-169
Jacek K. Kabziński, Małgorzata Porębska, Andrzej Wroński

 

do góry