INVESTIGADORES
FRIAS Marcelo Fabian
artículos
Título:
Independence of the Axiomatization of Fork
Autor/es:
FRIAS, MARCELO FABIAN
Revista:
ALGEBRA UNIVERSALIS
Editorial:
Springer
Referencias:
Año: 1998 vol. 39 p. 211 - 215
ISSN:
0002-5240
Resumen:
In this note we will show that the axioms defining the operator fork in the class of fork
algebras are independent, i.e., none of them can be derived from the others.
