TY - JOUR AU - Karpenko, Alexander S. JA - Bulletin of the Section of Logic PY - 1992 TI - A maximal lattice of implicational logics' VL - 27 ER -