Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Rasiowa H. — An algebraic approach to non-classical logics
Rasiowa H. — An algebraic approach to non-classical logics

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: An algebraic approach to non-classical logics

Автор: Rasiowa H.

Аннотация:

The search for relationships between logic and algebra goes back to
the investigations of Boole and his followers. Those investigations yielded
what we now call Boolean algebra. The close links between classical
logic and the theory of Boolean algebras has been known for a long
time. One of the turning points in the algebraic study of logic was the
introduction by Lindenbaum and Tarski of the method of treating
formulas, or equivalence classes of formulas as elements of an abstract
algebra. Another milestone was the treatment of formulas as algebraic
functions in certain algebras. This is a generalization of truth-tables in
classical logic and can be found in the formulation by Lukasiewicz and
Post of many-valued logics and in the metalogical study of those systems.


Язык: en

Рубрика: Разное/

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Год издания: 1974

Количество страниц: 405

Добавлена в каталог: 12.06.2018

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте