Логические исследования. Вып. 1

СОДЕРЖАНИЕ

От редколлегии

Павляк З. Приближенные множества – основные понятия.

Орловская Е. Логические аспекты изучения понятий.

Непейвода Н.Н. Первые шаги к теории неформализуемых понятий.

Смирнов В.А. Дважды алгебры и симметричные логики.

Дзебяк В., Челаковский Я. Конгруэнц-дистрибутивные многообразия алгебр.

Маркин В.И. Методы автоматического образования логических баз в системах искусственного интеллекта.

Бушковский В. Синтаксическое исчисление Ламбека и его семантика.

Попов В.М. Паранепротиворечивые секвенциальные исчисления.

Вуйцицкий Р. Два метода построения логических исчислений: логика заключений и логика формул.

Васюков В.Л. MN – категории для релевантных логик.

Васюков В.Л. RN – категории для модальных логик.

Сидоренко Е.А. Слабые следствия и парадоксы следования.

Войшвилло Е.К. Релевантная логика как этап развития логики и ее философское и методологическое значение.

Быстров П.И. Нестандартный метод табличных конструкций для модальных и релевантных логик.

Герасимова И.А. Распределенные системы с точки зрения эпистематической логики.

Карпенко А.С. Матричная логика без неподвижных точек.

Ивлев Ю.В. Квазифункциональные семантики и семантики ограниченных множеств описаний состояний.

Анисов А.М. может ли пространство быть непрерывным, а время дискретным?

Аншаков О.М., Скворцов Д.П., Финн В.К. Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений.