Перейти к навигации Перейти к поиску
В абстрактной алгебре , частичная алгебра является обобщением универсальной алгебры для частичных операций . [1] [2]
Примеры [ править ]
- частичный группоид
- поле - мультипликативная инверсия - единственная правильная частичная операция [1]
- алгебры эффектов [3]
Структура [ править ]
Есть «Теорема Мета Биркгофа» Андреки, Немети и Саина (1982). [1]
Ссылки [ править ]
- ^ a b c Питер Бурмейстер (1993). «Частные алгебры - вводный обзор». В Иво Г. Розенберге; Герт Сабидусси (ред.). Алгебры и порядки . Springer Science & Business Media. С. 1–70. ISBN 978-0-7923-2143-9.
- ^ Джордж А. Гретцер (2008). Универсальная алгебра (2-е изд.). Springer Science & Business Media. Глава 2. Частные алгебры. ISBN 978-0-387-77487-9.
- ^ Фулис, ди-джей; Беннетт МК (1994). «Алгебры эффектов и нечеткая квантовая логика». Основы физики . 24 (10): 1331. DOI : 10.1007 / BF02283036 . hdl : 10338.dmlcz / 142815 .
Дальнейшее чтение [ править ]
- Питер Бурмейстер (2002) [1986]. Теоретико-модельный подход к частным алгебрам . CiteSeerX 10.1.1.92.6134 .
- Хорст Райхель (1984). Структурная индукция по частичным алгебрам . Академия-Верлаг.
- Хорст Райхель (1987). Начальная вычислимость, алгебраические спецификации и частичные алгебры . Кларендон Пресс. ISBN 978-0-19-853806-6.