Natural and restricted Priestley duality for ternary algebras and their cousins
عنوان مقاله: Natural and restricted Priestley duality for ternary algebras and their cousins
شناسه ملی مقاله: JR_CGASAT-16-1_003
منتشر شده در در سال 1401
شناسه ملی مقاله: JR_CGASAT-16-1_003
منتشر شده در در سال 1401
مشخصات نویسندگان مقاله:
Brian Davey - Department of Mathematics, La Trobe University, Victoria ۳۰۸۶, Australia.
Stacey Mendan - Department of Mathematics, La Trobe University, Victoria ۳۰۸۶, Australia
خلاصه مقاله:
Brian Davey - Department of Mathematics, La Trobe University, Victoria ۳۰۸۶, Australia.
Stacey Mendan - Department of Mathematics, La Trobe University, Victoria ۳۰۸۶, Australia
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.
کلمات کلیدی: Ternary algebra, Kleene algebra, Kleene lattice, natural duality, Priestley duality
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/1386963/