Категориальная логика
Оставить отзыв
OZON
Код товара: 136044059

Категориальная логика

Оставить отзыв
Издательство
Год выпуска
2016
Тип обложки
Мягкая обложка
Автор на обложке
В. Л. Васюков
Формат издания
140x210
Перейти к описанию
Товар закончился
Продавец:
OZON
  • Безопасная оплата: Банковской картой и ещe несколько способов оплаты
  • Возврат 7 дней
Гарантия легкого возврата
До 7 дней на возврат, полная гарантия

Описание

Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое исчисление, в котором наряду с формулами присутствуют коды доказательств, преобразуемые по определенным правилам вывода, и операции над ними. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем систему определенных тождеств для доказательств, т.е. категория - это дедуктивная система с записями о выводимости и правилами их отождествления. В монографии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей (в частности, теории доказательств). Значительное внимание уделяется систематическому построению исчислений категорной логики и теоретико-категорных семантик для систем неклассической логики, призванных заменить теоретико-множественные и алгебраические семантики этих систем. В настоящее время монография подобной направленности в мировой литературе отсутствует. Книга представляет интерес для логиков, философов и математиков и может быть использована в исследовании теоретических и метатеоретических вопросов современной логики.

Характеристики

Издательство
Год выпуска
2016
Тип обложки
Мягкая обложка
Автор на обложке
В. Л. Васюков
Формат издания
140x210
Количество страниц
194
Язык издания
Русский
ISBN
5-85593-145-5
Вес в упаковке, г
205
Информация о технических характеристиках, комплекте поставки, стране изготовления, внешнем виде и цвете товара носит справочный характер и основывается на последних доступных к моменту публикации сведениях

Издательства

  • Институт Логики Издательство
Отзывы
Помогите другим пользователям с выбором — будьте первым, кто поделится своим мнением об этом товаре.
Реклама