Show simple item record

Римацкий, Виталий В.
Vitaly V.Rimatskyen
2008-01-18T06:19:05Z
2008-01-18T06:19:05Z
2008-01
1997-1397
https://elib.sfu-kras.ru/handle/2311/614
В статье описывается явный конечный базис для допустимых правил вывода модальных логик конечной ширины, расширяющих логику S4. Полученный базис состоит из последовательности правил, которые имеют компактную и легко обозримую форму.ru
We find an explicit basis for all admissible rules of a representative (at least countable) class of modal logics of finite widht extending the logic S4. Our basis consists of a sequence of rules which have a compact and simple form.en
347754 bytes
application/pdf
ruen
Сибирский федеральный университет. Siberian Federal Universityen
Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physicsen
2008 (1)en
модальная логикаru
фрейм и модель Крипкеru
допустимое правило выводаru
базис допустимых правилru
modal logicen
inference ruleen
Kripke frame and modelen
admissible ruleen
basis of admissible rulesen
Явный базис допустимых правил вывода логик конечной шириныru
An Explicit Basis for Admissible Rules of Modal Logics of Finite Widthen
Journal Article
Published Journal Article
Институт архитектуры и строительства, Сибирский федеральный университет, пр. Свободный 82, Красноярск, 660041, Россия, e-mail: Gemmeny@rambler.ruru
85-93
https://elib.krasu.ru/bitstream/2311/614/1/rimatskiy.pdf


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record


DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV