Частичная алгебра

В абстрактной алгебре частичная алгебра является обобщением универсальной алгебры на частичные операции . ^{[1] [2]}

Пример(ы)

• частичный группоид
• поле — мультипликативная инверсия является единственной правильной частичной операцией ^[1]
• алгебры эффектов ^[3]

Структура

Существует «Метатеорема Биркгофа» Андреки, Немети и Сайна (1982). ^[1]

Ссылки

1. Питер Бурмейстер (1993). "Частичные алгебры — вводный обзор". В Ivo G. Rosenberg; Gert Sabidussi (ред.). Algebras and Orders . Springer Science & Business Media. стр. 1–70. ISBN 978-0-7923-2143-9.
2. Джордж А. Гретцер (2008). Универсальная алгебра (2-е изд.). Springer Science & Business Media. Глава 2. Частичные алгебры. ISBN 978-0-387-77487-9.
3. Фулис, DJ; Беннетт, MK (1994). «Алгебры эффектов и нечеткие квантовые логики». Основы физики . 24 (10): 1331. doi :10.1007/BF02283036. hdl : 10338.dmlcz/142815 . S2CID  123349992.

Дальнейшее чтение

• Питер Бурмейстер (2002) [1986]. Модельно-теоретический ориентированный подход к частичным алгебрам . CiteSeerX  10.1.1.92.6134 .
• Хорст Райхель (1984). Структурная индукция по частичным алгебрам . Академия-Верлаг.
• Хорст Райхель (1987). Начальная вычислимость, алгебраические спецификации и частичные алгебры . Clarendon Press. ISBN 978-0-19-853806-6.