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

dc.contributor.author	Шкільняк, О.С.
dc.contributor.author	Шкільняк, С.С.
dc.date.accessioned	2023-03-10T17:39:50Z
dc.date.available	2023-03-10T17:39:50Z
dc.date.issued	2022
dc.identifier.citation	Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю / О.С. Шкільняк, С.С. Шкільняк // Проблеми програмування. — 2022. — № 3-4. — С. 11-22. — Бібліогр.: 12 назв. — укр.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.other	DOI: https://doi.org/10.15407/pp2022.03-04.011
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/188624
dc.description.abstract	У роботі досліджено нові класи програмно-орієнтованих логік – чисті першопорядкові логіки часткових квазіарних предикатів із розширеними реномінаціями та предикатами строгої рівності й слабкої рівності.	uk_UA
dc.description.abstract	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.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.relation.ispartof	Проблеми програмування
dc.subject	Теоретичні і методологічні основи програмування	uk_UA
dc.title	Першопорядкові секвенційні числення логік квазіарних предикатів з розширеними реномінаціями та рівністю	uk_UA
dc.title.alternative	First-order sequent calculi of logics of quasiary predicates with extended renominations and equality	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	510.64