Об исчислении Ламбека с одним делением и одним примитивным типом, допускающем пустые антецедентыстатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК
Статья опубликована в журнале из списка Web of Science и/или Scopus
Дата последнего поиска статьи во внешних источниках: 16 февраля 2016 г.
Аннотация:В статье доказывается следующее утверждение: правило вывода, заданное схемой, допустимо в исчислении Ламбека с одним делением L*(\), допускающем пустые антецеденты, тогда и только тогда, когда оно допустимо во фрагменте L*(\) с одним примитивным типом L*(\;p). Для этого применяется подстановка, сводящая выводимость в L*(\) к выводимости в L*(\;p).