Записки научных семинаров ПОМИ
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор

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

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


Зап. научн. сем. ПОМИ:
Год:
Том:
Выпуск:
Страница:
Найти




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

Записки научных семинаров ПОМИ, 2023, том 528, страницы 166–194 (Mi znsl7409)  
Analytic sequent calculi with nonlogical axioms
[Аналитические исчисления секвенций с нелогическими аксиомами]

A. Sakharov

Synstretch, Framingham, Massachusetts, USA
PDF полного текста (551 kB)
Список литературы:
PDF
HTML
Аннотация: В этой статье исследуются различные исчисления секвенций включая субструктурные и исчисления с равенством, которые могут использоваться для характеризации систем ИИ. Эти исчисления имеют правила введения логических связок определенной формы и содержат нелогические аксиомы. Нелогические аксиомы представляют знания о предметной области. Выводы в этих исчисления могут быть ограничены нормальной формой и упорядоченной формой. Эти формы накладывают ограничения на использование правил вывода. Доказано, что эти исчисления аналитические. Бесконечного ветвления можно избежать в процедурах вывода для этих исчислений. Библ. – 38 назв.
Ключевые слова: исчисление секвенций, правило введения, нелогические аксиомы, свойство подформулы, равенство.
Тип публикации: Статья
УДК: 510.644, 510.662
Язык публикации: английский
Образец цитирования: A. Sakharov, “Analytic sequent calculi with nonlogical axioms”, Теория представлений, динамические системы, комбинаторные методы. XXXV, Зап. научн. сем. ПОМИ, 528, ПОМИ, СПб., 2023, 166–194
Цитирование в формате AMSBIB
\RBibitem{Sak23}
\by A.~Sakharov
\paper Analytic sequent calculi with nonlogical axioms
\inbook Теория представлений, динамические системы, комбинаторные методы.~XXXV
\serial Зап. научн. сем. ПОМИ
\yr 2023
\vol 528
\pages 166--194
\publ ПОМИ
\publaddr СПб.
\mathnet{http://mi.mathnet.ru/znsl7409}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/znsl7409
  • https://www.mathnet.ru/rus/znsl/v528/p166
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Записки научных семинаров ПОМИ
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024