Я. И. Петрухин, “Система натурального вывода для трехзначной логики Гейтинга”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 2017, номер 3,страницы 63

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

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

Система натурального вывода для трехзначной логики Гейтинга

Я. И. Петрухин

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

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

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

УДК: 510.644

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