En álgebra abstracta , un álgebra parcial es una generalización del álgebra universal a operaciones parciales . [1] [2]
Ejemplo(s)
Estructura
Existe un "Teorema de Meta Birkhoff" de Andreka, Nemeti y Sain (1982). [1]
Referencias
- ^ a b C Peter Burmeister (1993). "Álgebras parciales: un estudio introductorio". En Ivo G. Rosenberg; Gert Sabidussi (eds.). Álgebras y Órdenes . Medios de ciencia y negocios de Springer. págs. 1–70. ISBN 978-0-7923-2143-9.
- ^ George A. Grätzer (2008). Álgebra universal (2ª ed.). Medios de ciencia y negocios de Springer. Capítulo 2. Álgebras parciales. ISBN 978-0-387-77487-9.
- ^ Foulis, DJ; Bennett, MK (1994). "Álgebras de efectos y lógica cuántica nítida". 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 enfoque orientado a la teoría de modelos para las álgebras parciales" . CiteSeerX 10.1.1.92.6134 .
- Horst Reichel (1984). Inducción estructural sobre álgebras parciales . Akademie-Verlag.
- Horst Reichel (1987). Computabilidad inicial, especificaciones algebraicas y álgebras parciales . Prensa de Clarendon. ISBN 978-0-19-853806-6.