Интерполяционная теорема для исчислений частичных предикатов Хао Вана.

М.Н. Бежанишвили

doi:10.21146/2074-1472-2000-7-0-148-158

PDF

Опубликован: 04.08.2000

DOI: https://doi.org/10.21146/2074-1472-2000-7-0-148-158

М.Н. Бежанишвили

Аннотация

The paper deals with the Hao Wang calculi o f partial predicates PP and EP. It is shown that an analogue o f the Craig interpolation theorem holds in PP and EP.

Скачивания

Данные скачивания пока не доступны.

Как цитировать

Бежанишвили М. Интерполяционная теорема для исчислений частичных предикатов Хао Вана. // Логические исследования / Logical Investigations. 2000. Т. 7. C. 148-158.

Выпуск

Том 7 (2000)

Раздел

Статьи

Язык

Информация

Отправить материал

ISSN 2074-1472 (Print)
ISSN 2413-2713 (Online)

Учредитель и издатель:
Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук.
С 2015 года журнал выходит два раза в год; является прямым продолжением ежегодника с тем же названием, выходившего с 1993 по 2014 годы.

Языки: русский, английский

Журнал зарегистрирован
Федеральной службой по надзору в сфере связи, информационных технологий и массовых коммуникаций (Роскомнадзор). Свидетельство о регистрации СМИ: ПИ № ФС 77-61228 от 03.04.2015.

Журнал включен в Перечень рецензируемых научных изданий, в которых должны быть опубликованы основные научные результаты на соискание ученой степени кандидата наук, на соискание ученой степени доктора наук (с 01.12.2015 – отрасль науки «09.00.00 Философские науки»; с 2010 по 2015 годы – специальность «Логика»).

Индексируется:

;

Начиная с выпуска 16 издание стало подписным. Подписной индекс в каталоге Почты России – ПН145.

Адрес: 109240, Москва, ул. Гончарная, д.12, стр.1.
Телефон: +7 495 697-96-65
E-mail: editorial_board@logicalinvestigations.ru

Article Sidebar

Main Article Content

Аннотация

Скачивания

Article Details