En álgebra abstracta , un álgebra parcial es una generalización del álgebra universal a operaciones parciales . [1] [2]
Ejemplo (s)
- grupoide parcial
- campo - la inversión multiplicativa es la única operación parcial apropiada [1]
- álgebras de efectos [3]
Estructura
Existe un "Teorema de Meta Birkhoff" de Andreka, Nemeti y Sain (1982). [1]
Referencias
- ↑ a b c Peter Burmeister (1993). "Álgebras parciales - una encuesta introductoria". En Ivo G. Rosenberg; Gert Sabidussi (eds.). Álgebras y Órdenes . Springer Science & Business Media. págs. 1-70. ISBN 978-0-7923-2143-9.
- ^ George A. Grätzer (2008). Álgebra universal (2ª ed.). Springer Science & Business Media. Capítulo 2. Álgebras parciales. ISBN 978-0-387-77487-9.
- ^ Foulis, DJ; Bennett, MK (1994). "Efecto álgebras y lógica cuántica de enfoque". Fundamentos de la Física . 24 (10): 1331. doi : 10.1007 / BF02283036 . hdl : 10338.dmlcz / 142815 . S2CID 123349992 .
Otras lecturas
- Peter Burmeister (2002) [1986]. Un modelo de enfoque teórico orientado a álgebras parciales . CiteSeerX 10.1.1.92.6134 .
- Horst Reichel (1984). Inducción estructural en álgebras parciales . Akademie-Verlag.
- Horst Reichel (1987). Computabilidad inicial, especificaciones algebraicas y álgebras parciales . Prensa de Clarendon. ISBN 978-0-19-853806-6.