Полиадическая алгебра
Полиадические алгебры (позже названные алгебрами Халмоша [1] ) — алгебраические структуры, введенные Полом Халмошем . Они связаны с логикой первого порядка, аналогичной взаимосвязи между булевыми алгебрами и логикой высказываний (см. алгебру Линденбаума – Тарского ).
Есть и другие способы связать логику первого порядка с алгеброй, включая Тарского . цилиндрические алгебры [1] (когда равенство является частью логики) и ( Ловера функториальную семантику категориальный подход ). [2]
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б Мишель Хазевинкель (2000). Справочник по алгебре . Том. 2. Эльзевир. стр. 87–89. ISBN 978-0-444-50396-1 .
- ^ Джон Барвайз (1989). Справочник по математической логике . Эльзевир. п. 293. ИСБН 978-0-444-86388-1 .
Дальнейшее чтение [ править ]
- Пол Халмос , Алгебраическая логика , издательство Chelsea Publishing , Нью-Йорк (1962)
 | Эта математической логике статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |