Vol. 51, No. 1, pp. 141-146 (1994)
A Subdirectly Irreducible Symmetric Heyting Algebra which is not Simple
A. Galli and M. SagastumeDep. de Matemática, Facultad de Ciencias Exactas, Universidad Nacional de La Plata,
C.C. 172, 1900 La Plata - ARGENTINA
Abstract: The aim of this paper is to provide a negative answer to the question of whether every subdirectly irreducible symmetric Heyting algebra (that is a Heyting algebra with a De Morgan negation) is simple or not.
Full text of the article:
Electronic version published on: 29 Mar 2001. This page was last modified: 27 Nov 2007.