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