Показать сокращенную информацию
Явный базис допустимых правил вывода логик конечной ширины
| Автор | Римацкий, Виталий В. | |
| Автор | Vitaly V.Rimatsky | en |
| Дата внесения | 2008-01-18T06:19:05Z | |
| Дата, когда ресурс стал доступен | 2008-01-18T06:19:05Z | |
| Дата публикации | 2008-01 | |
| ISSN | 1997-1397 | |
| URI (для ссылок/цитирований) | 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 | |
| MIME | application/pdf | |
| Язык | ru | en |
| Издатель | Сибирский федеральный университет. Siberian Federal University | en |
| Является частью серии | Журнал Сибирского федерального университета. Математика и физика. Journal of Siberian Federal University. Mathematics & Physics | en |
| Является частью серии | 2008 (1) | en |
| Тема | модальная логика | ru |
| Тема | фрейм и модель Крипке | ru |
| Тема | допустимое правило вывода | ru |
| Тема | базис допустимых правил | ru |
| Тема | modal logic | en |
| Тема | inference rule | en |
| Тема | Kripke frame and model | en |
| Тема | admissible rule | en |
| Тема | basis of admissible rules | en |
| Название | Явный базис допустимых правил вывода логик конечной ширины | ru |
| Альтернативное название | An Explicit Basis for Admissible Rules of Modal Logics of Finite Width | en |
| Тип | Journal Article | |
| Тип | Published Journal Article | |
| Контакты автора | Институт архитектуры и строительства, Сибирский федеральный университет, пр. Свободный 82, Красноярск, 660041, Россия, e-mail: Gemmeny@rambler.ru | ru |
| Страницы | 85-93 | |
| sfu.metadata.dc.x-file | https://elib.krasu.ru/bitstream/2311/614/1/rimatskiy.pdf |
