PL EN

Journal

Reports on Mathematical Logic

2011 | 46 | 75-90
Article title

THE VARIETY OF SEMI-HEYTING ALGEBRAS SATISFYING THE EQUATION (0 then 1) * v (0 then 1) ** double tilde 1

Authors
Selected contents from this journal
Title variants
Languages of publication
EN
Abstracts
EN
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 then 1) * v (0 then 1) ** double tilde 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.
Keywords
Discipline
Publisher
Year
Issue
Pages
75-90
Physical description
Document type
ARTICLE
Contributors
author
author
• Manuel Abad, Departamento de Matematica, Universidad Nacional del Sur, 8000 Bahia Blanca, Argentina
References
Document Type
Publication order reference
Identifiers
CEJSH db identifier
11PLAAAA10195