BCK-álgebras duales /
En el año 1966, Y. Imai y K. Iseki, introducen la noción de BCK-álgebra, [129]. Son basicamente dos, las motivaciones que originan este concepto. Por un lado, surge como una formulación algebraica del sistema BCK del cálculo proposicional de C. A. Meredith, citado en [275]. La segunda está basada en...
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Spanish |
| Publicado: |
2002.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Sea el primero en dejar un comentario!