Worldlex Wiki En algèbre abstraite , une algèbre partielle est une généralisation de l'algèbre universelle aux opérations partielles .
Exemple(s)
- groupoïde partiel
- champ — l'inversion multiplicative est la seule opération partielle appropriée
- algèbres d'effets
Structure
Il existe un « théorème Meta Birkhoff » d'Andreka, Nemeti et Sain (1982).
Lectures complémentaires
- Peter Burmeister (2002) [1986]. Une approche orientée vers la théorie des modèles pour les algèbres partielles . CiteSeerX 10.1.1.92.6134 .
- Horst Reichel (1984). "Induction structurale sur les algèbres partielles" . Akademie-Verlag.
- Horst Reichel (1987). Calculabilité initiale, spécifications algébriques et algèbres partielles . Clarendon Press. ISBN 978-0-19-853806-6.
