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

СОДЕРЖАНИЕ

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

Ишимото А., Сагал П.Т. Интерпретации онтологии Лесневского: пропозициональный фрагмент онтологии Лесневского и родственные системы.

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

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

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

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

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

Матерна П. Понятие понятия.

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

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

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

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

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

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

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

Анисов А.М. Моделирование становления на ЭВМ.

Лукасевич Я. О детерминизме.

Карпенко А.С. Ян Лукасевич – детерминизм и логика.

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

Смирнов В.А. Многомерные логики.

Канаи Н. Доказательство погружения аристотелевской силлогистики в пропозициональную логику.

Васюков В.Л. Категорная семантика для паранепротиворечивых логик.