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

dc.contributor.authorШкільняк, Оксана
dc.date.accessioned2014-03-20T09:29:26Z
dc.date.available2014-03-20T09:29:26Z
dc.date.issued2013
dc.description.abstractДосліджено програмно-орієнтовні логічні формалізми модального типу - транзиційні композиційно-номінативні модальні логіки. В межах цих логік можна виділити мультимодальні, темпоральні, епістемічні композиційно-номінативні логіки еквітонних предикатів. Для таких логік побудовано першопорядкові числення секвенційного типу.uk_UA
dc.description.abstractWe study program-oriented logical formalisms of modal type - transitional composition-nominative modal logics. We introduce cases of these logics: multimodal, temporal and epistemic composition-nominative logics ofequitone predicates. For the proposed logicsfirst-order sequent calculi are constructed.en_US
dc.identifier.citationШкільняк О. С. Транзиційні композиційно-номінативні модальні логіки та їх числення / Шкільняк О. С. // Наукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 48-54.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/2887
dc.language.isoukuk_UA
dc.relation.sourceНаукові записки НаУКМА. - 2013. - Т. 151 : Комп'ютерні науки. - С. 48-54.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.subjectcomposition-nominative logicuk_UA
dc.subjectmodal logicuk_UA
dc.subjectpredicateuk_UA
dc.subjectsequent calculusuk_UA
dc.titleТранзиційні композиційно-номінативні модальні логіки та їх численняuk_UA
dc.title.alternativeTransitional composition-nominative modal logics and their calculiuk_UA
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Shkilniak_Tranzytsiini_kompozytsiino_nominatyvni.pdf
Size:
430.08 KB
Format:
Adobe Portable Document Format
Description:
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: