INVESTIGADORES
DIAZ VARELA Jose Patricio
congresos y reuniones científicas
Título:
A Note on the Equational Bases for Subvarieties of Linear Symmetric Heyting Algebras
Autor/es:
DÍAZ VARELA JOSÉ PATRICIO; ABAD, MANUEL; RUEDA, LAURA; SUARDIAZ ANA
Lugar:
Bahía Blanca
Reunión:
Congreso; IV Congreso Dr. Antonio Monteiro; 1997
Resumen:
In this paper, the construction of the lattice of subvarieties of linear symmetric Heyting algebras is given and equational bases for each subvariety are obtained.