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

Simple item page
dc.contributor.authorШкільняк, Степан
dc.date.accessioned2014-03-20T11:42:50Z
dc.date.available2014-03-20T11:42:50Z
dc.date.issued2013
dc.description.abstractДля чистих першопорядкових композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів побудовано спеціальні секвенційні числення, які використовують предикати-індикатори наявності значень для змінних. Такі числення пропоновано для логік кванторного та кванторно-екваційного рівнів. Для цих числень доведено теореми коректності й повноти.uk_UA
dc.description.abstractWe construct special sequent calculi for purefirst-order composition-nominative logics ofpartial singlevalued, total multiple-valued and partial multiple-valued quasi-ary predicates with using ofspecial variable definedness predicates. Such calculi are proposedfor logics of quantifier level and for logics of quantifier-equational level. The soundness and completeness theorems for the introduced calculi are proved.en_US
dc.identifier.citationШкільняк С. С. Числення секвенційного типу для чистих першопорядкових логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 24-31.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/2888
dc.language.isoukuk_UA
dc.relation.sourceНаукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 24-31.uk_UA
dc.statuspublished earlieruk_UA
dc.subjectлогікаuk_UA
dc.subjectпредикатuk_UA
dc.subjectлогічний наслідокuk_UA
dc.subjectсеквенційне численняuk_UA
dc.subjectстаттяuk_UA
dc.subjectlogicen_US
dc.subjectpredicateen_US
dc.subjectlogical consequenceen_US
dc.subjectsequent calculien_US
dc.titleЧислення секвенційного типу для чистих першопорядкових логік квазіарних предикатівuk_UA
dc.title.alternativeSequent calculi for pure first-order logics of quasi-ary predicatesen_US
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Shkilniak_Chyslennia_sekventsiinoho_typu.pdf
Size:
530.91 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.54 KB
Format:
Item-specific license agreed upon to submission
Description:
Download
Collections
151: Комп'ютерні науки