Дослідження властивостей композиційно-номінативних логік

Simple item page
dc.contributor.authorШкільняк, Оксана
dc.date.accessioned2015-10-14T20:50:06Z
dc.date.available2015-10-14T20:50:06Z
dc.date.issued2007
dc.description.abstractComposition nominative logics of equitone quasi-are predicates have been investigated. The substitution theorems for the relation of logical consequence for sets of formulas and for sequential derivation, the theorem of independence of closiness of constructed sequential tree of application order of sequential forms, and the cut elimination theorem have been proved. The fs-derivation procedure for finitary sequences has been introduced.en
dc.identifier.citationШкільняк О. С. Дослідження властивостей композиційно-номінативних логік / Шкільняк О.С. // Наукові записки. Т. 73 : Комп'ютерні науки / Нац. ун-т "Києво-Могилянська академія" ; [редкол. тем. вип. : Глибовець М.М. (гол. ред. і упоряд.), Анісімов А.В., Гороховський С.С. ... та ін. ; рец. Бєлов Ю.А., Нікітченко М.С.]. - К. : Києво-Могилянська академія, 2007. - С. 56-60.uk
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/6717
dc.language.isoukuk
dc.statuspublished earlieruk
dc.subjectматематична логікаuk
dc.subjectінформаційна системаuk
dc.subjectсеквенційні формиuk
dc.subjectтеорема про елімінацію перетинівuk
dc.subjectthe theorem of independence of closinessuk
dc.titleДослідження властивостей композиційно-номінативних логікuk
dc.typeArticleuk
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Shkil'nyak_Doslidzhennya_vlastyvostey_kompozytsiyno.pdf
Size:
214.41 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
073: Комп'ютерні науки