А. К. Кощеева, “Новая константа в суперинтуиционистской логике $L3$”, Алгебра и логика, 2015, том 54, номер 1,страницы 34

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

Новая константа в суперинтуиционистской логике $L3$

А. К. Кощеева^ab

^a Матем. ф-т, ФГБОУ ВПО Удмуртский гос. ун-т, ул. Университетская, 1, корп. 4, г. Ижевск, 426034, РОССИЯ
^b Ф-т информ. технол., ГБОУ ВПО Московский гор. психолого-педагог. ун-т, ул. Сретенка, 29, г. Москва, 127051, РОССИЯ

Аннотация: Доказывается, что существует ровно пять полных по П. С. Новикову расширений суперинтуиционистской логики $L3$ в языке с одной дополнительной логической константой.

Ключевые слова: суперинтуиционистская логика $L3$, новая логическая константа, полные по П. С. Новикову расширения.

УДК: 510.64

Поступило: 10.11.2014

DOI: 10.17377/alglog.2015.54.103