М. В. Старостин, “Неявно предполные классы и критерий неявной полноты в трехзначной логике”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2018, номер 2,страницы 56

Эта публикация цитируется в 7 статьях

Краткие сообщения

Неявно предполные классы и критерий неявной полноты в трехзначной логике

М. В. Старостин

Московский государственный университет имени М. В. Ломоносова, механико-математический факультет

Аннотация: Рассматривается проблема неявной полноты в трехзначной логике. Дано описание системы всех неявно предполных классов и сформулирован соответствующий критерий неявной полноты.

Ключевые слова: неявная выразимость, трехзначная логика, предполные классы.

УДК: 519.716.32

Поступила в редакцию: 27.10.2017