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

dc.contributor.authorШкільняк, Степан
dc.date.accessioned2012-12-17T15:16:30Z
dc.date.available2012-12-17T15:16:30Z
dc.date.issued2012
dc.descriptionSequent calculi for renominative composition-nominative logics of partial single-valued, total multiplevalued and partial multiple-valued quasi-ary predicates are constructed. The soundness and completeness theorems for these calculi are proved.uk_UA
dc.description.abstractПобудовано секвенційні числення реномінативних композиційно-номінативних логік часткових однозначних, тотальних неоднозначних та часткових неоднозначних квазіарних предикатів. Для цих числень доведено теореми коректності та повноти.uk_UA
dc.identifier.citationШкільняк С. С. Секвенційні числення реномінативних логік квазіарних предикатів / Шкільняк С. С. // Наукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29.uk_UA
dc.identifier.issn1996-5931
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/1900
dc.language.isoukuk_UA
dc.publisherВПЦ НаУКМАuk_UA
dc.relation.sourceНаукові записки НаУКМА. - 2012. - Т. 138: Комп'ютерні науки. - С. 23-29.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.subjectlogicuk_UA
dc.subjectpredicateuk_UA
dc.subjectcomposition-nominative approachuk_UA
dc.subjectlogical consequenceuk_UA
dc.subjectsequent calculiuk_UA
dc.titleСеквенційні числення реномінативних логік квазіарних предикатівuk_UA
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Shkilniak_Sekventsiini_chyslennia.pdf
Size:
392.18 KB
Format:
Adobe Portable Document Format
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
7.95 KB
Format:
Item-specific license agreed upon to submission
Description: