RUS  ENG
Полная версия
ЖУРНАЛЫ // Вестник Московского университета. Серия 1: Математика. Механика // Архив
Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1990, номер 1, страницы 31–33 (Mi vmumm2605)
Математика

О классах арифметических напарников модальных логик доказуемости

Е. Ю. Ногина


Аннотация: Найден способ построения по всякой непротиворечивой модальной логике доказуемости континуального класса ее попарно несовместных арифметических напарников.
Библиогр. 10.

УДК: 510.65

Поступила в редакцию: 28.11.1988



Реферативные базы данных:

© МИАН, 2024