Книга: В. Л. Васюков «Категориальная логика»
Производитель: "Институт Логики" Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое исчисление, в котором наряду с формулами присутствуют коды доказательств, преобразуемые по определенным правилам вывода, и операции над ними. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем систему определенных тождеств для доказательств, т. е. категория - это дедуктивная система с записями о выводимости и правилами их отождествления. В монографии категорнаялогика рассматривается с точки зрения неклассической логики и ее потребностей (в частности, теории доказательств). Значительное внимание уделяется систематическому построению исчислений категорной логики и теоретико-категорных семантик для систем неклассической логики, призванных заменить теоретико-множественные и алгебраические семантики этих систем. В настоящее время монография подобной направленности в мировой литературе отсутствует. Книга представляет интерес для логиков, философов и математиков и может... ISBN:5-85593-145-5 Издательство: "Институт Логики" (2016)
ISBN: 5-85593-145-5 |
Другие книги автора:
Книга | Описание | Год | Цена | Тип книги |
---|---|---|---|---|
Категориальная логика | Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое… — Институт Логики, (формат: 140x210, 194 стр.) Подробнее... | бумажная книга |
См. также в других словарях:
Логика — Гр … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логика в информатике — Логика в информатике это направления исследований и отраслей знания, где логика применяется в информатике и искусственном интеллекте. Логика очень эффективна в этих областях[1]. Содержание 1 Область применения … Википедия
Логика в компьютерных науках — Логика в информатике это направления исследований и отрасли знания, где логика применяется в информатике и искусственном интеллекте. Логика оказалась гораздо более эффективной в информатике, чем это было в математике[1]. Включаются следующие… … Википедия
Категориальная абстрактная машина — Для улучшения этой статьи желательно?: Исправить статью согласно стилистическим правилам Википедии. Категориальная абстрактная машина (КАМ) это модель вычисления программы[1], в которой сохраняются особенности аппликативного, функционального либо … Википедия
Комбинаторная логика — направление математической логики, занимающееся фундаментальными не нуждающимися в объяснении и не анализируемыми понятиями и методами формальных логических систем или исчислений[1][2]. В дискретной математике тесно связана с λ… … Википедия