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

dc.contributor.authorКасьянюк, Веда
dc.contributor.authorМалютенко, Людмила
dc.contributor.authorШкільняк, Оксана
dc.date.accessioned2017-03-13T12:52:26Z
dc.date.available2017-03-13T12:52:26Z
dc.date.issued2016
dc.descriptionModal logics give tools which help to efficiently solve a variety of problems in informatics and programming. Classical predicate logic is the basis for traditional modal logics. However, classical logic does not allow sufficiently taking into account incompleteness and partiality of information. This leads to a problem of construction of program-oriented logical formalisms. Composition of nominative modal logics could be such a formalism combining capabilities of logics of partial quasi-ary predicates and traditional modal logics. Modal transitional logics (MTL), their important variant, can adequately represent changes and development of subject-domains. Effective reasoning may be a key part of many information and program systems. Sequent calculus is an efficient Gentzen-style deduction system. Sequent calculi are a formalization of logical consequence, one of the central concepts of logic. This paper studies pure first-order MTL of partial quasi-ary predicates without monotonicity restriction and construct sequent calculi for them. We define multimodal, temporal and general MTL. It is sufficient to consider only general MTL (GTL); obtained results can be carried to multimodal and temporal MTL. We describe languages and semantic models of pure first-order MTL and logical consequence relations for sets of specified with state names formulae. Basing on properties of the defined relations, we construct sequent calculi for GTL of non-monotone predicates. Their distinctive features include extended conditions for sequent closure, new sequent forms for elimination of modalities and forms for quantifier elimination respecting non-monotonicity. Depending on restrictions imposed on the transition relation, various classes of GTL can be introduced. We consider most conventional cases: the relation can be reflexive, symmetric, or transitive (or their combination). This leads to a number of different sequent forms for modalities elimination, and correspondingly, of different variants of sequent calculi. For the specified calculi, we describe a derivation procedure and prove the soundness and completeness theorems.en_US
dc.description.abstractУ статті розглянуто програмно-орієнтовні логічні формалізми – чисті першопорядкові композиційно-номінативні транзиційні модальні логіки немонотонних часткових предикатів. На основі властивостей відношення логічного наслідку для множин специфікованих станами формул для цих логік побудовано числення секвенційного типу. Описано різновиди таких числень, для них доведено теореми коректності та повноти.uk_UA
dc.identifier.citationКасьянюк Веда Станіславівна. Cеквенційні числення композиційно-номінативних модальних логік немонотонних предикатів / Касьянюк В. С., Малютенко Л. М., Шкільняк О. С. // Наукові записки НаУКМА : Комп'ютерні науки. - 2016. - Т. 190. - С. 23-29.uk_UA
dc.identifier.urihttps://ekmair.ukma.edu.ua/handle/123456789/11115
dc.language.isoukuk_UA
dc.relation.sourceНаукові записки НаУКМА: Комп'ютерні наукиuk_UA
dc.statuspublished earlieruk_UA
dc.subjectмодальна логікаuk_UA
dc.subjectпредикатuk_UA
dc.subjectлогічний наслідокuk_UA
dc.subjectсеквенційне численняuk_UA
dc.subjectmodal logicen_US
dc.subjectpredicateen_US
dc.subjectsequent calculusen_US
dc.subjectlogical consequenceen_US
dc.titleCеквенційні числення композиційно-номінативних модальних логік немонотонних предикатівuk_UA
dc.title.alternativeSequent Calculi of Composition of Nominative Modal Logics of Non-Monotone Predicatesen_US
dc.typeArticleuk_UA
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
Kasianiuk_Maliutenko_Shkilniak_Cekventsiini_chyslennia.pdf
Size:
695.45 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: