О. Р. Болибекян, “Трехзначные исчисления предикатов с символом неопределенности”, Уч. записки ЕГУ, сер. Физика и Математика, 2002, выпуск 2,страницы 44

Informatics

Трехзначные исчисления предикатов с символом неопределенности

О. Р. Болибекян

Ереванский государственный университет

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

Ключевые слова: Симметрическая конструктивная логика, устранение смешений.

УДК: 510.635+510.644

Поступила в редакцию: 17.12.2001
Принята в печать: 15.07.2002