RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив
Алгебра и логика, 2003, том 42, номер 3, страницы 366–383 (Mi al35)
Эта публикация цитируется в 4 статьях

Классификация полных по Новикову логик с дополнительными логическими константами

А. Д. Яшин


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

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

УДК: 510.64

Поступило: 12.07.2000
Окончательный вариант: 10.04.2003


 Англоязычная версия: Algebra and Logic, 2003, 42:3, 207–216

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

© МИАН, 2024