Комплексная логика
Зиновьев Александр Александрович
В книге дается систематическое изложение формального аппарата разработанной автором комплексной логики. В ней рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, модальностей, существования, норм, терминов, отношений и физического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относительно определенных семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования.
ОТВЕТСТВЕННЫЙ РЕДАКТОР
П. В. ТАВАНЕЦ
ОТВЕТСТВЕННЫЙ РЕДАКТОР
П. В. ТАВАНЕЦ
კატეგორია:
წელი:
1970
გამომცემლობა:
Наука
ენა:
russian
გვერდები:
204
ფაილი:
DJVU, 2.20 MB
IPFS:
,
russian, 1970
Litres
გსურთ დაამატოთ წიგნის მაღაზია? დაგვიკავშირდით support@z-lib.fm-ით
ფაილების კონვერტაცია
ძიების მეტი შედეგი
სხვა უპირატესობები 
![Нарский И.С. (ред) — Проблемы логики и теории познания [Сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/6fe7f26a028e40ebd50052e38e4fb4ff5c3115e9a2a91b48c684d3ca5fd3bae8.jpg)
![Таванец П.В. (ред.) — Проблемы логики [Сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/27e55901677336d152cad151232462056a9b207f70d545fcbf6282af0e274f87.jpg)
![Таванец П.В. (ред.) — Исследование логических систем [сборник статей]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b978416db4eb48a715030a076a584c13538f059725992fad72f8f04e4f467897.jpg)
საკვანძო ფრაზები
დაკავშირებული კოლექციები
