Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
Links relacionados
- Similares em SciELO
Compartilhar
Revista de la Unión Matemática Argentina
versão impressa ISSN 0041-6932versão On-line ISSN 1669-9637
Resumo
SPINKS, M. e VEROFF, R.. Characterisations of Nelson algebras. Rev. Unión Mat. Argent. [online]. 2007, vol.48, n.1, pp.27-39. ISSN 0041-6932.
Nelson algebras arise naturally in algebraic logic as the algebraic models of Nelson's constructive logic with strong negation. This note gives two characterisations of the variety of Nelson algebras up to term equivalence, together with a characterisation of the finite Nelson algebras up to polynomial equivalence. The results answer a question of Blok and Pigozzi and clarify some earlier work of Brignole and Monteiro.
Palavras-chave : Nelson algebra; residuated lattice; BCK-algebra; equationally definable principal congruences.