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

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

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


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




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

Математические заметки, 1990, том 48, выпуск 3, страницы 119–127 (Mi mzm3338)  
О пропозициональной логике булевых рекурсивных программ с вхождением предикатных переменных в условия

А. Л. Расцветаев

Московский государственный университет им. М. В. Ломоносова
PDF полного текста (948 kB)
Аннотация: Определена пропозициональная логика $\mathscr{L}$ булевых рекурсивных схем программ, содержащих вхождения предикатных переменных в условия. Введено отношение структурной интерпретируемости программных логик, с помощью которого установлена разрешимость логики $\mathscr{L}$ с постоянными и обратимыми функциональными символами.
Библиогр. 12 назв.
Поступило: 10.01.1989
Англоязычная версия:
Mathematical Notes, 1990, Volume 48, Issue 3, Pages 958–964
DOI: https://doi.org/10.1007/BF01157441
Реферативные базы данных:
УДК: 510.6
Образец цитирования: А. Л. Расцветаев, “О пропозициональной логике булевых рекурсивных программ с вхождением предикатных переменных в условия”, Матем. заметки, 48:3 (1990), 119–127; Math. Notes, 48:3 (1990), 958–964
Цитирование в формате AMSBIB
\RBibitem{Ras90}
\by А.~Л.~Расцветаев
\paper О~пропозициональной логике булевых рекурсивных программ с~вхождением предикатных переменных в~условия
\jour Матем. заметки
\yr 1990
\vol 48
\issue 3
\pages 119--127
\mathnet{http://mi.mathnet.ru/mzm3338}
\mathscinet{http://mathscinet.ams.org/mathscinet-getitem?mr=1088844}
\zmath{https://zbmath.org/?q=an:0719.03012|0714.03027}
\transl
\jour Math. Notes
\yr 1990
\vol 48
\issue 3
\pages 958--964
\crossref{https://doi.org/10.1007/BF01157441}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=A1990FP38300015}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/mzm3338
  • https://www.mathnet.ru/rus/mzm/v48/i3/p119
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Математические заметки Mathematical Notes
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024