Number of the records: 1  

Expanding Belnap 2: the dual category in depth

  1. TitleExpanding Belnap 2: the dual category in depth
    Author infoAndrew P. K. Craig, Brian A. Davey, Miroslav Haviar
    Author Craig Andrew, P. K. (34%)
    Co-authors Davey Brian A. (33%)
    Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
    Source document Categories and General Algebraic Structures with Applications. Vol. 17, no 1 (2022), pp. 47-83. - Teherán : Shahid Beheshti University, 2022
    Keywords bizväzy - bilattices   prirodzená dualita   Priestleyovská dualita  
    Form. Descr.články - journal articles
    LanguageEnglish
    CountryIran
    AnnotationBizväzy poskytujú algebraický nástroj na simultánne modelovanie pravdivosti a informácie. Boli zavedené N. Belnapom v r. 1977 v článku nazvanom Ako by mal počítač myslieť. Okrem klasických pravdivostných hodnôt t (pravda) a f (nepravda) mal Belnapov príklad aj pravdivostné hodnoty ⅂ (priveľa informácií resp. rozporuplné informácie) a ⅃ (žiadna informácia). Majú aplikácie v umelej inteligencii, logickom programovaní alebo v rozpoznávaní obrazcov. V predchádzajúcej práci týchto autorov z r. 2021 publikovanej v Algebre Universalis sme zaviedli pre každé prirodzené číslo 𝑛 novú triedu bizväzov J𝑛, ktorá zahŕňa Belnapov seminálny príklad (ako bizväz J0). Skonštruovali sme tiež prirodzenú dualitu pre ekvacionálnu triedu V𝑛 algebier generovanú bizväzom J𝑛, kde duálna kategória X𝑛 pozostáva z tzv. multi-sortových topologických štruktúr. V súčasnej nadväzujúcej práci axiomatizujeme duálnu kategóriu X𝑛 a ukazujeme, že je izomorfná s kategóriou Y𝑛 jedno-sortových topologických štruktúr. Ukazujeme ako konštruovať Priestleyovej duál bizväzu v triede V𝑛 prostredníctvom duálu v triede Y𝑛. Ako aplikáciu ukazujeme, že jedno-generovaný voľný bizväz v triede V𝑛 má veľkosť danú konkrétnym polynómom stupňa 6.
    URL Link na plný text
    Public work category ADM
    No. of Archival Copy52020
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexpca - PUBLIKAČNÁ ČINNOSŤ
    ReferencesPERIODIKÁ-Súborný záznam periodika
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.