Частичная алгебра
В абстрактной алгебре частичная алгебра является обобщением универсальной алгебры на частичные операции . [1] [2]
Пример(ы) [ править ]
- частичный группоид
- поле — мультипликативная инверсия — единственная правильная частичная операция [1]
- алгебры эффектов [3]
Структура [ править ]
Существует «Мета теорема Биркгофа» Андреки, Немети и Сайна (1982). [1]
Ссылки [ править ]
- ↑ Перейти обратно: Перейти обратно: а б с Питер Бурмейстер (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 . S2CID 123349992 .
Дальнейшее чтение [ править ]
- Питер Бурмейстер (2002) [1986]. Модельный теоретико-ориентированный подход к частичным алгебрам . CiteSeerX 10.1.1.92.6134 .
- Хорст Райхель (1984). Структурная индукция по частичным алгебрам . Издательство Академии.
- Хорст Райхель (1987). Начальная вычислимость, алгебраические спецификации и частичные алгебры . Кларендон Пресс. ISBN 978-0-19-853806-6 .