Аксиоматика полных по П.С. Новикову расширений суперинтуиционистской логики $L2$ в языке с одной дополнительной константой

 pdf (261K)

Проблема П.С. Новикова для суперинтуиционистской логики $L$ состоит в описании семейства всех максимальных консервативных (то есть полных по П.С. Новикову) расширений $L$ в обогащенном дополнительными логическими связками и константами языке. В связи с континуальностью семейства всех суперинтуиционистских логик имеет смысл рассматривать проблему П.С. Новикова применительно к логикам, уже попавшим по тем или иным причинам в поле зрения исследователей.

Известно, что существуют три так называемые предтабличные суперинтуиционистские логики (то есть не являющиеся табличными, но такие, что все их собственные расширения уже табличны). Одна из них - логика $L2$ - характеризуется классом корневых упорядоченных множеств глубины 2. Установлено, что для суперинтуиционистской логики $L2$ в языке с единственной дополнительной константой существует ровно пять полных по Новикову расширений; дано их семантическое описание.

В настоящей работе предлагается явная аксиоматика гильбертовского типа для каждого из пяти существующих полных по П.С. Новикову расширений суперинтуиционистской логики $L2$ в языке с одной дополнительной логической константой.

Ключевые слова: суперинтуиционистская логика $L2$, новая логическая константа, аксиоматика полных по П.С. Новикову расширений
Цитата: Вестник Удмуртского университета. Математика. Механика. Компьютерные науки, 2014, вып. 3, с. 28-39
DOI: 10.20537/vm140303

Axiomatics of P.S. Novikov complete extensions of the superintuitionistic logic $L2$ in the language containing an additional constant

The Novikov problem for a superintuitionistic logic $L$ is to describe the class of all maximal conservative (i.e. P.S. Novikov complete) extensions of $L$ in the language with additional logical connectives and logical constants. Since the family of all superintuitionistic logics has the power of the continuum, it is sensible to apply the P.S. Novikov problem to superintuitionistic logics which for one reason or other have already come to researchers' attention.

In particular, there are three so-called pretabular superintuitionistic logics (i.e. non-tabular, but all their own extensions are tabular). One of them - the logic $L2$ - is characterized by the class of finite rooted linearly ordered sets of depth 2. It is established that for superintuitionistic logic $L2$ in the language with one additional constant there are exactly five P.S. Novikov complete extensions; their semantic description is given.

In this paper we propose an explicit axiomatics for each of the five existing P.S. Novikov complete extensions of the superintuitionistic logic $L2$ in the language containing an additional constant.

Keywords: the superintuitionistic logic $L2$, a new logical constant, an explicit axiomatics of Novikov-complete extensions
Citation in English: Bulletin of Udmurt University. Mathematics, Mechanics, Computer Science, 2014, issue 3, pp. 28-39

Журнал индексируется в Web of Science (Emerging Sources Citation Index)

Журнал индексируется в Scopus

Журнал входит в базы данных zbMATH, MathSciNet

Журнал включен в базу данных Russian Science Citation Index (RSCI) на платформе Web of Science

Журнал включен в перечень ВАК.

Электронная версия журнала на Общероссийском математическом портале Math-Net.Ru.

Журнал включен в Crossref