Д. Е. Тишковский, “Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик”, Алгебра и логика, 2001, том 40, номер 2,страницы 218

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

Алгебраические эквиваленты некоторых свойств суперинтуиционистских предикатных логик

Д. Е. Тишковский

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

Аннотация: Находятся алгебраические эквиваленты для свойства Бета, проективного свойства Бета, интерполяционного свойства, дизъюнктивного свойства и экзистенциального свойства суперинтуиционистских логик 1-го порядка.

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

УДК: 510.642+512.57

Поступило: 22.07.1999