Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS


Bul. Acad. Ştiinţe Repub. Mold. Mat.:
Год:
Том:
Выпуск:
Страница:
Найти




Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация

Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica, 2006, номер 3, страницы 45–50 (Mi basm107)  
Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A. Heyting

Vadim Cebotari

Institute of Mathematics and Computer Science, Academy of Sciences of Moldova, Chişinău, Moldova
PDF полного текста (98 kB)
Список литературы:
PDF
HTML
Аннотация: The problem of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic is considered. The conditions permiting to determine the parametrical completeness of an arbitrary system of formulas in mentionted logic are established in terms of 13 parametrical pre-complete classes of formulas.
Ключевые слова и фразы: Intuitionistic logic, parametrical expressibility, parametrical completeness, pre-complete system.
Поступила в редакцию: 25.08.2006
Реферативные базы данных:
MSC: 03B45
Язык публикации: английский
Образец цитирования: Vadim Cebotari, “Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A. Heyting”, Bul. Acad. Ştiinţe Repub. Mold. Mat., 2006, no. 3, 45–50
Цитирование в формате AMSBIB
\RBibitem{Ceb06}
\by Vadim~Cebotari
\paper Criterion of parametrical completeness in the 6-element non-chain extension of Intuitionistic logic of A.~Heyting
\jour Bul. Acad. \c Stiin\c te Repub. Mold. Mat.
\yr 2006
\issue 3
\pages 45--50
\mathnet{http://mi.mathnet.ru/basm107}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=2300508}
\zmath{https://zbmath.org/?q=an:1120.03007}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/basm107
  • https://www.mathnet.ru/rus/basm/y2006/i3/p45
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Buletinul Academiei de Ştiinţe a Republicii Moldova. Matematica
    Статистика просмотров:
    Страница аннотации:187
    PDF полного текста:53
    Список литературы:28
    Первая страница:1
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024