Логические исследования. Выпуск 8
Содержание:
Свойства времени, Исчисления частичных предикатов Хао Вана и их расширения, допускающие итерацию импликации, Теория релевантного следования III: комбинаторная семантика ТЕ, Квазиматричная логика - основа теории фактических (физических) модальностей, Подструктурные логики: гильбертовский подход, Неявная определимость в паранепротиворечивых расширениях минимальной логики, Интенсиональная семантика традиционной силлогистики, Исчисления отбрасываемых формул для нетрадиционных систем позитивной силлогистики, К вопросу о непротиворечивости классической формальной арифметики, О формализации неформализуемого, Комбинированные логики В. А. Смирнова и логика ложности, Погружение интуиционистского пропозиционального исчисления в его позитивный фрагмент, Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей, К вопросу о природе времени, Теорема дедукции для неклассических исчислений: два подхода, Теорема о полноте для семантики пропозиционального фрагмента одной системы...
Описание:
В восьмом выпуске "Логических исследований" опубликованы статьи, в которых изложены новые результаты, полученные в различных областях современной неклассической логики, а также статьи, подготовленные по докладам, прочитанным на секциях "Символическая логика" и "Философская логика" Международной конференции "Третьи Смирновские чтения" (Москва, май 2001). Для логиков, философов, математиков.Похожие книги