Личный кабинет
Подробное описание документа
Статья в журнале
Беликов А. А.
Обобщенные описания состояний для сильных логик первого уровня / Беликов А. А. - DOI 10.18698/2306-8477-2018-3-513 // Гуманитарный вестник МГТУ им. Н. Э. Баумана. - 2018. - № 3. -
Предложены семантики обобщенных описаний состояний для некоторых расширений логики Данна — Белнапа. Среди исследуемых расширений: логика Ривеччио — Питца (ETL) и логика Шрамко — Зайцева — Беликова (NFL). На основе обобщенных описаний состояний формулируются отношения следования, которые позволяют формализовать соответствующие логики.
