RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика, 2004, том 43, номер 3, страницы 364–378 (Mi al78)
Эта публикация цитируется в 1 статье

Полные по Новикову логики: метод перевода

А. Д. Яшин

Московский городской психолого-педагогический университет

Аннотация: Показывается, как с помощью некоторого варианта техники перевода можно по явным примерам полных по Новикову логик строить другие явные примеры.

Ключевые слова: полные по Новикову логики.

УДК: 510.64

Поступило: 17.01.2003


 Англоязычная версия: Algebra and Logic, 2004, 43:3, 205–214

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

© МИАН, 2024