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