Место издания:Изд-во «Русское общество истории и философии науки» Москва
Первая страница:61
Последняя страница:64
Аннотация:Современная наука располагает богатым спектром логических средств, позволяющих исследовать связи между логиками, между логическими исчислениями и между логическими алгебрами. Одним из эффективных средств изучения связей между логиками являются погружающие отображения (погружения). Здесь представлены некоторые результаты, полученные с использованием погружающих отображений и выявляющие связи между параполными логиками I2,1, I2,2, I2,3,… Указанные логики возникли в процессе изучения автором логического наследия российского логика и философа Николая Александровича Васильева (описание этих логик можно найти, например, в статье В. М. Попова «Секвенциальные аксиоматизации простых паралогик», опубликованной в 16 выпуске «Логических исследований» в 2010 году). Теоремы 1 и 2, формулировки которых даны в предлагаемой работе, указывают путь построения по любым целым положительным числам n и m погружения логики I2,n в логику I2,n+m.