Статья опубликована в сборнике "Семантические и синтаксические исследования неэкстенсиональных логик", ответственный редактор доктор философских наук В.А. Смирнов. Москва, "Наука", 1989 год. Академия наук СССР, Институт философии.
В статье рассматриваются следующие расширения S4: S4.1, S4.2, S4.3 и S
4.4. Предлагаются их секвенциальные формулировки.
// Семантические и синтаксические исследования неэкстенсиональных логик, ответственный редактор доктор философских наук В.А. Смирнов. — М.: Наука, 1989. Академия наук СССР, Институт философии.
Первый в русской логической литературе обзор паранепротиворечивых логик.
Статья опубликована в сборнике "Семантические и синтаксические исследования неэкстенсиональных логик", ответственный редактор доктор философских наук В.А. Смирнов. Москва, "Наука", 1989 год. Академия наук СССР, Институт философии. Список заголовков: 1. Происхождение трехзначной логики Лукасевича Ł3 и её свойства. 2. Многозначная логика Лукасевича Łn+1. 3. Функциональные...
Статья опубликована в сборнике "Семантические и синтаксические исследования неэкстенсиональных логик", ответственный редактор доктор философских наук В.А. Смирнов. Москва, "Наука", 1989 год. Академия наук СССР, Институт философии.
Список заголовков:
Предварительные замечания.
Фактор семантика для Łn.
Дискретная нестандартная модель для Łω.
Фактор-семантика для ŁΣ....
// Семантические и синтаксические исследования неэкстенсиональных логик. — М.: Наука, 1989. Академия наук СССР, Институт философии.
В статье предлагается секвенциальное исчисление для паранепротиворечивой логики PCont и впервые формулируется паранепротиворечивая логика Par в виде секвенциального и гильбертовского исчислений.
Статья опубликована в сборнике "Семантические и синтаксические исследования неэкстенсиональных логик", ответственный редактор доктор философских наук В.А. Смирнов. Москва, "Наука", 1989 год. Академия наук СССР, Институт философии.
В статье устанавливается связь между релевантной логикой и теорией категорий.
Комментарии