Heinrich Behmann Der Pradikatenkalkul mit Limitierten Variablen Grundlegung Einer Naturlichen Exakten Logik. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1959, v:24, n:2, pp:112-140 [Journal]
Toshio Umezawa On Logics Intermediate between Intuitionistic and Classical Predicate Logic. [Citation Graph (0, 0)][DBLP] J. Symb. Log., 1959, v:24, n:2, pp:141-153 [Journal]