Штучний інтелект

Науковий журнал

ISSN 2710-1673

ONLINE: ISSN 2710-1681

Шукати за:

Роком видання
Автором
Назвою статті

Реномінативні логіки з розширеними реномінаціями, рівністю та предикатним доповненням

Нікітченко М.М.1, Шкільняк О.С.1, Шкільняк С.С.1, Мамедов Т.А.1
1 Київський національний університет імені Тараса Шевченка

Повний текст (PDF)

УДК: 004.42:510.69
Мова публікації: Українська
Stuc. intelekt. 2019; 24; (1-2):34-48

Анотація: Досліджено новий клас програмно-орієнтованих логічних формалізмів – реномінативні логіки з розширеними реномінаціями, предикатами рівності та композицією предикатного доповнення. Описано композиційні алгебри та мови таких логік, досліджено їх семантичні властивості. Для цих логік запропоновано і досліджено низку відношень логічного наслідку, зокрема, відношень логічного наслідку за умов невизначеності. Властивості цих відношень є семантичною основою подальшої побудови для таких логік числень секвенційного типу.

Ключові слова: логіка, предикат, композиційна алгебра, реномінація, рівність, логічний наслідок

Посилання:

  1. Abramsky, S., Gabbay, D., Maibaum, T. (editors)(1993–2000) Handbook of Logic in ComputerScience. Oxford University Press, Vol. 1–5.
  2. Нікітченко, М.С., Шкільняк, О.С., Шкільняк, С.С.(2016) Чисті першопорядкові логіки квазіар-них предикатів. Проблеми програмування, 2–3,73–86.
  3. Hoare, C. (1969) An axiomatic basis for computerprogramming. Comm. ACM, 12(10), 576–580.
  4. Apt, K. (1981) Ten years of Hoare’s logic: asurvey – part I. ACM Trans. Program. Lang.Syst., 3(4), 431–483.
  5. Blass, A., Gurevich, Y. (2001) The underlyinglogic of Hoare logic, Current Trends inTheoretical Computer Science. Entering the 21stCentury, World Scientific, 409–436.
  6. Ivanov, I., Nikitchenko, M. (2018). On the se-quence rule for the Floyd-Hoare logic with partialpre- and post-conditions. In Proc. of the 14 th Int.Conf. on ICT, vol. 2104 of CEUR WorkshopProc., 716–724
  7. Нікітченко, М.С., Шкільняк, О.С., Шкільняк, С.С.,Мамедов, Т.А. (2019) Пропозиційні логіки част-кових предикатів з композицією предикатногодоповнення. Проблеми програмування, 1, 3–13.
  8. Шкільняк, О.С. (2019) Відношення логічногонаслідку в логіках часткових предикатів зкомпозицієюпредикатногодоповнення.Проблеми програмування, 3, 11–27.
  9. Шкільняк, С.С. (2019) Першопорядковi компо-зиційно-номінативні логіки з предикатамислабкої та строгої рівності. Проблеми програ-мування, 3, 28–44.
  10. Kleene, S.C. (1952) Introductions to Metamathe-matics. Van Nostrand, Princeton.
  11. Kleene, S.C. (1967) Mathematical Logic. NewYork.

Переглянути повний текст статті (PDF)