Artículos de revistas
Semi-Heyting Algebras Term-equivalent to Gödel Algebras
Fecha
2013-07Registro en:
Abad, Manuel; Cornejo, Juan Manuel; Díaz Varela, José Patricio; Semi-Heyting Algebras Term-equivalent to Gödel Algebras; Springer; Order; 30; 2; 7-2013; 625-642
0167-8094
Autor
Abad, Manuel
Cornejo, Juan Manuel
Díaz Varela, José Patricio
Resumen
In this paper we investigate those subvarieties of the variety SH of semi-Heyting algebras which are term-equivalent to the variety LH of Gödel algebras (linear Heyting algebras). We prove that the only other subvarieties with this property are the variety LCom of commutative semi-Heyting algebras and the variety L∨ generated by the chains in which a < b implies a → b = b. We also study the variety C generated within SH by LH, L∨ and LCom. In particular we prove that C is locally finite and we obtain a construction of the finitely generated free algebra in C.
Ítems relacionados
Mostrando ítems relacionados por Título, autor o materia.
-
Identidades graduadas em álgebras não-associativas
Silva, Diogo Diniz Pereira da Silva e -
Estructura de álgebra de Poisson de la cohomología de ciertas álgebras de Lie nilpotentes
Gutierrez, Gonzalo Emanuel Matías (2022-07-29)Si g es un álgebra de Lie, la cohomología H**(g) tiene una estructura de súper-álgebra de Poisson con producto asociativo súper-conmutativo V y un súper-corchete de Lie {-,-} que se compatibiliza con el producto \vee en ... -
Introdução elementar às álgebras Clifford 'CL IND.2' 'CL IND. 3'
Resende, Adriana Souza