Е. А. Палютин, “Элиминация кванторов в хорновых теориях с малым числом моделей”, Алгебра и логика, 1991, том 30, номер 5,страницы 513

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

Элиминация кванторов в хорновых теориях с малым числом моделей

Е. А. Палютин

Институт математики СО АН СССР

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

УДК: 510.67

Поступило: 11.11.1990

Англоязычная версия: DOI: 10.1007/BF01980247

Реферативные базы данных: