Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
Publish Year: 1393
نوع سند: مقاله ژورنالی
زبان: English
View: 130
This Paper With 18 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_CGASAT-2-1_005
تاریخ نمایه سازی: 23 شهریور 1400
Abstract:
This paper is the second of a two part series. In this Part, we prove, using the description of simples obtained in Part I, that the variety mathbf{RDQDStSH_۱} of regular dually quasi-De Morgan Stone semi-Heyting algebras of level ۱ is the join of the variety generated by the twenty ۳-element mathbf{RDQDStSH_۱}-chains and the variety of dually quasi-De Morgan Boolean semi-Heyting algebras--the latter is known to be generated by the expansions of the three ۴-element Boolean semi-Heyting algebras. As consequences of our main theorem, we present (equational) axiomatizations for several subvarieties of mathbf{RDQDStSH_۱}. The paper concludes with some open problems for further investigation.
Keywords:
Regular dually quasi-De Morgan semi-Heyting algebra of level ۱ , dually pseudocomplemented semi-Heyting algebra , De Morgan semi-Heyting algebra , strongly blended dually quasi-De Morgan Stone semi-Heyting algebra , discriminator variety , simple , directly indecomposable , subdirectly irreducible , equational base
Authors
Hanamantagouda P. Sankappanavar
Department of Mathematics, State University of New York, New Paltz, NY ۱۲۵۶۱
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :