|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Обобщенные описания состояний для сильных логик первого уровнястатья
- Автор: Беликов А.А.
- Журнал: Гуманитарный вестник МГТУ им. Н.Э.Баумана
- Том: 65
- Номер: 3
- Год издания: 2018
- DOI: 10.18698/2306-8477-2018-3-513
- Аннотация: Предложены семантики обобщенных описаний состояний для некоторых расширений логики Данна — Белнапа. Среди исследуемых расширений: логика Ривиеччио — Питца (ETL) и логика Шрамко — Зайцева — Беликова (NFL). На основе обобщенных описаний состояний формулируются отношения следования, которые позволяют формализовать соответствующие логики.
- Добавил в систему: Беликов Александр Александрович
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Полный текст | Belikov_Baumanka.pdf | 214,2 КБ | 18 апреля 2018 [belikov_sasha@bk.ru] |