THE VARIETY OF SEMI-HEYTING ALGEBRAS SATISFYING THE EQUATION

THE VARIETY OF SEMI-HEYTING ALGEBRAS SATISFYING THE EQUATION

In [4, Definition 8.1], some important subvarieties of the variety SH of semi-Heyting algebras are defined. The purpose of this paper is to introduce and investigate the subvariety ISSH of SH, characterized by the identity (0 ® 1)* Ú (0 ® 1)** » 1. We prove that ISSH contains all the subvarieties in...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Reports on mathematical logic 2011 (46), p.75-90
Hauptverfasser: Abad, Manuel, Díaz Varela, José Patricio, Cornejo, Juan Manuel
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Logic
Philosophy
Theorems
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In [4, Definition 8.1], some important subvarieties of the variety SH of semi-Heyting algebras are defined. The purpose of this paper is to introduce and investigate the subvariety ISSH of SH, characterized by the identity (0 ® 1)* Ú (0 ® 1)** » 1. We prove that ISSH contains all the subvarieties introduced by Sankappanavar and it is in fact the least subvariety of SH with this property. We also determine the sublattice generated by the subvarieties introduced in [4, Definition 8.1] within the lattice of subvarieties of semi-Heyting algebras.
ISSN:0137-2904
2084-2589