INVESTIGADORES
SAN MARTIN Hernan Javier
artículos
Título:
On a variety of hemi-implicative semilattices
Autor/es:
JOSÉ LUIS CASTIGLIONI; VÍCTOR FERNÁNDEZ; HÉCTOR FEDERICO MALLEA; HERNÁN JAVIER SAN MARTÍN
Revista:
SOFT COMPUTING - (Print)
Editorial:
SPRINGER
Referencias:
Lugar: Berlin; Año: 2022 vol. 26 p. 3187 - 3195
ISSN:
1472-7643
Resumen:
In this paper we introduce and study a proper subvariety of the variety of hemi-implicative semilattices, ShIS, which also properly contains some varieties of interest for algebraic logic.Our main goal is to show a representation theorem for ShIS. More precisely, we prove that every algebra of ShIS is isomorphic to a sub- algebra of a member of ShIS whose underlying bounded semilattice is the bounded semilattice of upsets of a poset.