Опубликован: 22.04.1993

Весь выпуск

PDF

Статьи

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

З. Павляк

6-19

PDF

Логические аспекты изучения понятий.

Е. Орловская

20-33

PDF

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

Н.Н. Непейвода

34-45

PDF

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

В.А. Смирнов

46-54

PDF

Конгруэнц-дистрибутивные многообразия алгебр.

В. Дзебяк, Я. Челаковский

55-57

PDF

Силлогистические теории и исчисление предикатов (часть 1).

В.И. Маркин

58-66

PDF

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

В.И. Шалак

67-76

PDF

Синтаксическое исчисление ламбека и его семантика.

В. Бушковский

77-96

PDF

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

В.М. Попов

97-100

PDF

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

Р. Вуйцицкий

101-113

PDF

Mn-категории для модальных логик.

В.Л. Васюков

114-123

PDF

Rn-категории для релевантных логик.

В.Л. Васюков

124-132

PDF

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

Е.А. Сидоренко

133-142

PDF

Релевантная логика как этап развития логики, ее философское и методологическое значение.

Е.К. Войшвилло

143-155

PDF

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

П.И. Быстров

156-170

PDF

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

И.А. Герасимова

171-180

PDF

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

А.С. Карпенко

181-185

PDF

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

Ю.В. Ивлев

186-209

PDF

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

А.М. Анисов

210-221

PDF

Об аксиоматизируемости многозначных логик, связанных с формализацией правдоподобных рассуждений.

О.М. Аншаков, Д.П. Скворцов, В.К. Финн

222-247

PDF