• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Найдено 8 публикаций
Сортировка:
по названию
по году
Статья
L. Beklemishev, Flaminio T. Studia Logica. 2016. Vol. 104. No. 1. P. 1-46.

Franco Montagna, a prominent logician and one of the leaders of the Italian school on Mathematical Logic, passed away on February 18, 2015. We survey some of his results and ideas in the two disciplines he greatly contributed along his career: provability logic and many-valued logic.

Добавлено: 13 марта 2016
Статья
Шехтман В. Б., Скворцов Д. Studia Logica. 1986. Т. 45. С. 101-118.
Добавлено: 8 октября 2010
Статья
Шехтман В. Б. Studia Logica. 1990. Т. 49. № 3. С. 83-103.
Добавлено: 8 октября 2010
Статья
Шехтман В. Б. Studia Logica. 1983. Т. 42. № 1. С. 63-80.
Добавлено: 8 октября 2010
Статья
Beklemishev L. D., Fernandez-Duque D., Joosten J. J. Studia Logica. 2014. Vol. 102. No. 3. P. 541-566.

We introduce the logics GLPΛ, a generalization of Japaridze’s polymodal provability logic GLPω where Λ is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall provide a reduction of these logics to GLPω yielding among other things a finitary proof of the normal form theorem for the variable-free fragment of GLPΛ and the decidability of GLPΛ for recursive orderings Λ. Further, we give a restricted axiomatization of the variable-free fragment ofGLPΛ.

Добавлено: 21 ноября 2013
Статья
Vasyukov V. L. Studia Logica. 2011. Vol. 98. No. 3. P. 429-443.
Добавлено: 7 ноября 2011
Статья
Gabbay D., Shehtman V. B. Studia Logica. 2000. No. 72(2). P. 157-183.
Добавлено: 8 октября 2010
Статья
Zolin E. Studia Logica. 2014. Vol. 102. No. 5. P. 1021-1039.

Получено более простое доказательство, по сравнению с известным с 1963 г доказательством А.В.Кузнецова, результата о неразрешимости проблемы распознавания полноты произвольной конечной системы аксиом для произвольного фиксированного расширения интуиционистского исчисления высказываний. Доказательство основано на сведении к данной проблеме так называемой проблемы остановки для однородных систем продукций Поста; неразрешимость последней проблемы была установлена Минским в 1961 г. Дается обзор известных результатов в области алгоритмической распознаваемости свойств пропозициональных исчислений.

Добавлено: 14 июня 2018