W. Kawecki, „Wynikanie semantyczne w rachunku kwantyfikatorów”, FPhil, nr 1, s. 75–91, sty. 1981.