INVESTIGADORES
FRIAS Marcelo Fabian
artículos
Título:
A Finite Axiomatization for Fork Algebras
Autor/es:
FRIAS, MARCELO FABIAN; HAEBERER, ARMANDO MARTIN; VELOSO, PAULO AUGUSTO
Revista:
LOGIC JOURNAL OF THE IGPL (PRINT)
Editorial:
Oxford University Press
Referencias:
Año: 1997 vol. 5 p. 311 - 319
ISSN:
1367-0751
Resumen:
Proper fork algebras are algebras of binary relations over a structured set. The underlying set has changed from a set of pairs to a set closed under an injective function. In this paper we present a representation theorem for their abstract counterpart, that entails that proper fork algebras whose underlying set is closed under an injective function constitute a finitely based variety.
