Л. Л. Максимова, “Неявная определимость и позитивные логики”, Алгебра и логика, 2003, том 42, номер 1,страницы 65

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

Неявная определимость и позитивные логики

Л. Л. Максимова

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Дается полное описание позитивных логик, обладающих проективным свойством Бета PBP. Доказывается разрешимость PBP в позитивных исчислениях, расширяющих позитивный фрагмент ${\rm Int}^+$ интуиционистского исчисления высказываний. Полученные результаты применяются для исследования расширений минимальной логики Йохансона.

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

УДК: 510.64

Поступило: 07.02.2001