Loading [MathJax]/jax/output/CommonHTML/jax.js
Ученые записки Ереванского государственного университета, серия Физические и Математические науки
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

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

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


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




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

Ученые записки Ереванского государственного университета, серия Физические и Математические науки, 2020, том 54, выпуск 3, страницы 127–136
DOI: https://doi.org/10.46991/PYSU:A/2020.54.3.127 (Mi uzeru750) 		 
Mathematics

On non-monotonous properties of some classical and nonclassical propositional proof systems
[O свойстве немонотонности некоторых классических и неклассических пропозициональных систем выводов]

A. A. Chubaryan, A. A. Hambardzumyan

Yerevan State University, Faculty of Informatics and Applied Mathematics
PDF полного текста (245 kB)
Список литературы:
PDF
HTML
DOI: https://doi.org/10.46991/PYSU:A/2020.54.3.127
Аннотация: В настоящей работе для систем Фреге, секвенциальных систем с правилом сечения и систем натуральных выводов классической и неклассических логик исследовано соотношение количества шагов выводов неминимальных тавтологий и их минимальных тавтологий. Доказано, что для каждой из рассмотренных систем существуют такие последовательности неминимальных тавтологий ψn, каждая из которых имеет единственную минимальную φn и для каждого n наименьшее количество шагов выводов фомул φn по порядку больше наименьшего количества шагов выводов фомул ψn.
Ключевые слова: minimal tautology, Frege system, sequent system, natural deduction system, proof lines, proof sizes, monotonous and strongly monotonous system.
Финансовая поддержка Номер гранта
Комитет по науке Республики Армения 18T-1B034
This work was supported by the Science Committee of the Ministry of Education, Science, Culture and Sport of RA, in the frames of the research project Grant No 18T-1B034.
Поступила в редакцию: 31.07.2020
Исправленный вариант: 25.08.2020
Принята в печать: 18.12.2020
Тип публикации: Статья
MSC: 03F20; 03F07
Язык публикации: английский
Образец цитирования: A. A. Chubaryan, A. A. Hambardzumyan, “On non-monotonous properties of some classical and nonclassical propositional proof systems”, Уч. записки ЕГУ, сер. Физика и Математика, 54:3 (2020), 127–136
Цитирование в формате AMSBIB
\RBibitem{ChuHam20}
\by A.~A.~Chubaryan, A.~A.~Hambardzumyan
\paper On non-monotonous properties of some classical and nonclassical propositional proof systems
\jour Уч. записки ЕГУ, сер. Физика и Математика
\yr 2020
\vol 54
\issue 3
\pages 127--136
\mathnet{http://mi.mathnet.ru/uzeru750}
\crossref{https://doi.org/10.46991/PYSU:A/2020.54.3.127}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/uzeru750
  • https://www.mathnet.ru/rus/uzeru/v54/i3/p127
    • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    		Ученые записки Ереванского государственного университета, серия Физические и Математические науки
    Статистика просмотров:
    Страница аннотации:88
    PDF полного текста:25
    Список литературы:20
     
      Обратная связь:
    		  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2025