Published: 04.11.1993

Full Issue

PDF (Русский)

Papers

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

A. Ishimoto, P.T. Sagal

6-16

PDF (Русский)

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

V.A. Smirnov

17-31

PDF (Русский)

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

S.A. Pavlov

32-43

PDF (Русский)

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

A. Ishimoto

44-52

PDF (Русский)

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

L.A. Gerasimova

53-67

PDF (Русский)

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

V.I. Shalak

68-81

PDF (Русский)

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

P. Materna

82-89

PDF (Русский)

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

A.V. Smirnov

90-104

PDF (Русский)

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

P. Suppes, N.A. Aiioshina

105-112

PDF (Русский)

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

N. A. Aiioshina

113-127

PDF (Русский)

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

E.A. Sidorenko

128-138

PDF (Русский)

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

P. I. Bystrow

139-152

PDF (Русский)

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

V.M. Popov

153-158

PDF (Русский)

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

V.N. Stebletsova

159-169

PDF (Русский)

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

A.M. Anisov

170-189

PDF (Русский)

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

J. Lukasiewicz

190-205

PDF (Русский)

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

A.S. Karpenko

206-223

PDF (Русский)

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

A.S. Karpenko

224-258

PDF (Русский)

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

V.A. Smirnov

259-278

PDF (Русский)

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

N. Kanai

279-284

PDF (Русский)

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

V.L. Vasiukov

285-298

PDF (Русский)