Показать сокращенную информацию

Римацкий, Виталий В.
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


Файлы в этом документе

Thumbnail

Данный элемент включен в следующие коллекции

Показать сокращенную информацию