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

M.N. Bezhanishvili

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

PDF (Русский)

Published: 04.08.2000

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

M.N. Bezhanishvili

Abstract

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.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

How to Cite

Bezhanishvili M. Интерполяционная теорема для исчислений частичных предикатов Хао Вана. // Logicheskie Issledovaniya / Logical Investigations. 2000. VOL. 7. C. 148-158.

Issue

Vol 7 (2000)

Section

Papers

Language

##plugins.block.information.link##

##plugins.block.makeSubmission.linkLabel##

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

Publisher:
Institute of Philosophy, Russian Academy of Sciences

Frequency: 2 times per year

First issue: 1993; the journal is a redesigned continuation of the annual Logical Investigations that has been published since 1993 till 2015.

The journal is registered with the Federal Service for Supervision of Communications, Information Technology, and Mass Media (Roskomnadzor). The Mass Media Registration Certificate No. FS77-61228 on April 3, 2015.

The Journal is indexed

;

The journal is included in the list of peer-reviewed scientific editions acknowledged by the Higher Attestation Commission of the Ministry of Education and Science of the Russian Federation.

Beginning with issue 16 Logical Investigations has become a subscription publication. Subscription index in the catalogue of Russian Post is ПН145.

Contacts:
Address: 12/1 Goncharnaya Str., Moscow, 109240, Russian Federation
Phone: +7 495 697-96-65
E-mail: editorial_board@logicalinvestigations.ru

##plugins.themes.bootstrap3.article.sidebar##

##plugins.themes.bootstrap3.article.main##

Abstract

##plugins.generic.usageStats.downloads##

##plugins.themes.bootstrap3.article.details##