§ 6. Расширения алфавита и правил образования
ИЗДАТЕЛЬСТВО «НАУКА»

МОСКВА 1970

В книге дается систематическое изложение формального аппарата разработанной автором комплексной логики. В ней рассматривается общая теория дедукции и ее расширения, включая теорию предикации, кванторов, условных форм, мо дальностей, существования, норм, терминов, отношений и фи зического следования. Автор приводит доказательства непротиворечивости и полноты систем комплексной логики относи тельно определенных семантических интерпретаций, выясняет место классической и интуиционистской логик в теории логического следования.

ОТВЕТСТВЕННЫЙ РЕДАКТОР П. В. ТАВАНЕЦ
Скачать
§ 1. Цель книги

§ 1. Цель книги

Зиновьев А. А. Логика Публикация
§ 2. Предмет логики

§ 2. Предмет логики

Зиновьев А. А. Логика Публикация
§ 3. Логические операторы

§ 3. Логические операторы

Зиновьев А. А. Логика Публикация
§ 4. Термины

§ 4. Термины

Зиновьев А. А. Логика Публикация
§ 5. Высказывания

§ 5. Высказывания

Зиновьев А. А. Логика Публикация
§ 6. Расширения алфавита и правил образования

§ 6. Расширения алфавита и правил образования

Зиновьев А. А. Логика Публикация
Новости 1 - 6 из 18
Начало | Пред. | 1 2 3 | След. | Конец Все