Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю

Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю

Шкільняк, О.С. ; Шкільняк, С.С.

Інші назви: First-order sequent calculi of logics of quasiary predicates with extended renominations and equality

Тема: Теоретичні і методологічні основи програмування

УДК: 510.64

Інший ID: DOI: https://doi.org/10.15407/pp2022.03-04.011

URI: http://dspace.nbuv.gov.ua/handle/123456789/188624

Посилання: Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю / О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2022. — № 3-4. — С. 11-22. — Бібліогр.: 12 назв. — укр.

Дата: 2022

Завантажень: 66

Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю

Анотація:

У роботі досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів із розширеними реномінаціями та предикатами строгої рівності й слабкої рівності.

The paper considers new classes of software-oriented logical formalisms – pure first-order logics of partial quasiary predicates with extended renominations and predicates of strong equality and of weak equality.

Показати повний запис статті