A BIRKHOFF TYPE THEOREM FOR STRONG VARIETIES
Algebraic systems with partial operations have different ways to interpret equality between two terms of the language. A strong identity is a formula which says that two terms are equal in the algebra if the existence of one of them implies the existence of the other one and in the case of existence...
Guardado en:
| Autor principal: | |
|---|---|
| Lenguaje: | English |
| Publicado: |
Universidad Católica del Norte, Departamento de Matemáticas
2008
|
| Acceso en línea: | http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S0716-09172008000200006 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Sea el primero en dejar un comentario!