The Variety of Semi-Heyting Algebras Satisfying the Equation (0 → 1)* V (0 → 1)** ≈ 1
cytuj
pobierz pliki
RIS BIB ENDNOTEChoose format
RIS BIB ENDNOTEThe Variety of Semi-Heyting Algebras Satisfying the Equation (0 → 1)* V (0 → 1)** ≈ 1
Publication date: 15.12.2011
Reports on Mathematical Logic, 2011, Number 46, pp. 75 - 90
https://doi.org/10.4467/20842589RM.11.005.0283Authors
The Variety of Semi-Heyting Algebras Satisfying the Equation (0 → 1)* V (0 → 1)** ≈ 1
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)* v (0 - 1)** = 11. 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.
Information: Reports on Mathematical Logic, 2011, Number 46, pp. 75 - 90
Article type: Original article
Titles:
The Variety of Semi-Heyting Algebras Satisfying the Equation (0 → 1)* V (0 → 1)** ≈ 1
The Variety of Semi-Heyting Algebras Satisfying the Equation (0 → 1)* V (0 → 1)** ≈ 1
The National University of South, Bahía Blanca, Provincia de Buenos Aires, República Argentina
The National University of South, Bahía Blanca, Provincia de Buenos Aires, República Argentina
The National University of South, Bahía Blanca, Provincia de Buenos Aires, República Argentina
Published at: 15.12.2011
Article status: Open
Licence: None
Percentage share of authors:
Article corrections:
-Publication languages:
EnglishView count: 1943
Number of downloads: 1932