Dually quasi-De Morgan Stone semi-Heyting algebras II. Regularity
سال انتشار: 1393
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 125
فایل این مقاله در 18 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_CGASAT-2-1_005
تاریخ نمایه سازی: 23 شهریور 1400
چکیده مقاله:
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.
کلیدواژه ها:
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
نویسندگان
Hanamantagouda P. Sankappanavar
Department of Mathematics, State University of New York, New Paltz, NY ۱۲۵۶۱
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :