УДК 510.649
Об исчислении Ламбека с одним делением и одним примитивным типом, допускающем пустые антецеденты / С. Л. Кузнецов. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2009. № 2. С. 62-65.
Доказывается следующее утверждение: правило вывода, заданное схемой,
допустимо в исчислении Ламбека с одним делением
Ключевые слова: исчисление Ламбека, допустимые правила, сети доказательства.
Библиогр. 5.