Algebra częściowa

W algebrze abstrakcyjnej algebra cząstkowa jest uogólnieniem algebry uniwersalnej na operacje cząstkowe .

Przykład(y)

• częściowa grupoida
• pole — jedyną właściwą operacją częściową jest inwersja multiplikatywna
• algebry efektów

Struktura

Istnieje „Meta Birkhoff Twierdzenie” autorstwa Andreki, Nemetiego i Saina (1982).

Dalsza lektura

•   Petera Burmeistera (2002) [1986]. Modelowe podejście zorientowane na teorię algebr cząstkowych . CiteSeerX 10.1.1.92.6134 .
• Horsta Reichela (1984). Indukcja strukturalna na algebrach cząstkowych . Akademie-Verlag.
•   Horsta Reichela (1987). Obliczalność początkowa, specyfikacje algebraiczne i algebry cząstkowe . Prasa Clarendona. ISBN 978-0-19-853806-6 .