Natural and restricted Priestley duality for ternary algebras and their cousins
سال انتشار: 1401
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 93
فایل این مقاله در 30 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_CGASAT-16-1_003
تاریخ نمایه سازی: 10 بهمن 1400
چکیده مقاله:
Up to term equivalence, there are three ways to assign a nonemptyset C of constants to the three-element Kleene lattice, leading toternary algebras (C = {۰, d, ۱}), Kleene algebras (C = {۰, ۱}), and don’tknow algebras (C = {d}). Our focus is on ternary algebras. We derivea strong, optimal natural duality and the restricted Priestley duality forternary algebras and give axiomatisations of the dual categories. We applythese dualities in tandem to give straightforward and transparent proofsof some known results for ternary algebras. We also discuss, and in somecases prove, the corresponding dualities for Kleene lattices, Kleene algebrasand don’t know algebras.
کلیدواژه ها:
نویسندگان
Brian Davey
Department of Mathematics, La Trobe University, Victoria ۳۰۸۶, Australia.
Stacey Mendan
Department of Mathematics, La Trobe University, Victoria ۳۰۸۶, Australia
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :