Dually quasi-De Morgan Stone semi-Heyting algebras I. Regularity
سال انتشار: 1393
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 268
فایل این مقاله در 18 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_CGASAT-2-1_004
تاریخ نمایه سازی: 23 شهریور 1400
چکیده مقاله:
This paper is the first of a two part series. In this paper, we first prove that the variety of dually quasi-De Morgan Stone semi-Heyting algebras of level ۱ satisfies the strongly blended lor-De Morgan law introduced in cite{Sa۱۲}. Then, using this result and the results of cite{Sa۱۲}, we prove our main result which gives an explicit description of simple algebras(=subdirectly irreducibles) in the variety of regular dually quasi-De Morgan Stone semi-Heyting algebras of level ۱. It is shown that there are ۲۵ nontrivial simple algebras in this variety. In Part II, we prove, using the description of simples obtained in this Part, 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 this theorem, we present (equational) axiomatizations for several subvarieties of mathbf{RDQDStSH_۱}. The Part II 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 ۱۲۵۶۱
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :