RUSSIAN

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

By Васюков В.Л.

Book information

Publisher
АНО Институт логики
Year
2005
ISBN
5-85593-145-5, 978-5-85593-145-7
Language
russian
Format
PDF
Filesize
2 MB (2423555 bytes)
Pages
198\198
Topic
Mathematics Logic
Orientation
yes
Scanned
no
Time added
2012-05-25 08:49:06

Description

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

Similar books