TY - JOUR AU - Segerberg, Krister IS - 1 JA - Theoria PB - Philosophy Department, Stockholm University PY - 1968 TI - Propositional Logics Related to Heyting's and Johansson's VL - 34 ER -