Том 2 (1993) | Логические исследования

Интерпретация онтологии Лесневского: пропозициональный фрагмент онтологии Лесневского и родственные системы.

А. Ишимото, П.Т. Сагал

6-16

PDF

Дефинициальная эквивалентность элементарной онтологии и обобщенной силлогистики оккамовского типа.

В.А. Смирнов

17-31

PDF

Погружение элементарной онтологии лесневского в семантически замкнутую теорию обозначения.

С.А. Павлов

32-43

PDF

Логическая грамматика: логико-онтологический обзор.

А. Ишимото

44-52

PDF

Дилемма экстенсиональности-интенсиональности и контексты с пропозициональными установками.

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

53-67

PDF

Динамическая интерпретация высказываний.

В.И. Шалак

68-81

PDF

Понятие понятия.

П. Матерна

82-89

PDF

Система интерактивного доказательства теорем.

А.В. Смирнов

90-104

PDF

Определимость качественной независимости событий через расширенные индикаторные функции.

П. Суппес, Н.А. Алешина

105-112

PDF

Вероятностная логика в искусственном интеллекте.

Н.А. Алешина

113-127

PDF

Теорема дедукции для классических и неклассических исчислений.

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

128-138

PDF

Релевантные системы с глобальными правилами вывода.

П.И. Быстров

139-152

PDF

Два замечания и один вопрос относительно аксиоматизации импликативных логик.

В.М. Попов

153-158

PDF

Логика ветвящегося времени как инструмент спецификации и верификации параллельных программ.

В.Н. Стеблецова

159-169

PDF

Моделирование становления на эвм.

А.М. Анисов

170-189

PDF

О детерминизме.

Я. Лукасевич

190-205

PDF

Ян лукасевич - детерминизм и логика.

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

206-223

PDF

Импликативные логики: решетки и конструкции.

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

224-258

PDF

Многомерные логики.