Portugaliæ Mathematica   EMIS ELibM Electronic Journals PORTUGALIAE
MATHEMATICA
Vol. 51, No. 1, pp. 141-146 (1994)

Previous Article

Next Article

Contents of this Issue

Other Issues


ELibM Journals

ELibM Home

EMIS Home

 

A Subdirectly Irreducible Symmetric Heyting Algebra which is not Simple

A. Galli and M. Sagastume

Dep. 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.

© 1994 Sociedade Portuguesa de Matemática
© 1994–2007 ELibM and FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition